Metamath Proof Explorer

Syntax definition cmsax

Description: The indexing set for a syntax axiom.

Ref Expression
Assertion cmsax 
class mSAX