Metamath Proof Explorer


Syntax definition cmsr

Description: The reduct of a pre-statement.

Ref Expression
Assertion cmsr class mStRed