Metamath Proof Explorer


Syntax definition cmsax

Description: The indexing set for a syntax axiom.

Ref Expression
Assertion cmsax
class mSAX