Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Metamath formal systems
cmpst
Next ⟩
cmsr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmpst
Description:
The set of pre-statements.
Ref
Expression
Assertion
cmpst
class
mPreSt