Database
BASIC STRUCTURES
Extensible structures
Basic definitions
Structure component indices
cnx
Next ⟩
df-ndx
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cnx
Description:
Extend class notation with the structure component index extractor.
Ref
Expression
Assertion
cnx
class
ndx