Metamath Proof Explorer


Syntax definition cmsa

Description: The set of syntax axioms.

Ref Expression
Assertion cmsa
class mSA