<statement> Statement, Formal

A Theorem, Lemma, Proof, Postulate, Hypothesis, Proposition, Corollary, or other formal statement, identified as such with a label, usually made typographically distinct from the surrounding text.
Attributes

Base Attributes

Models and Context
May be contained in
Model Description
Related Resources