Metamath Proof Explorer


Syntax definition cmpst

Description: The set of pre-statements.

Ref Expression
Assertion cmpst class mPreSt