Theorem statement mathematical notation

Theorem statement is a recurring research-paper notation family. Labels a formally stated claim that the surrounding work treats as important and supports with a proof.

Theorem statement: Labels a formally stated claim that the surrounding work treats as important and supports with a proof. Example: Under claim P, the work will establish conclusion Q.