(P12888)
English
Metamath statement ID
unique identifier for a theorem, axiom or definition in the Metamath set.mm database
Data type
External identifier
Statements
[-a-zA-Z0-9]+
0 references
Constraints
0 references
unique identifier for a theorem, axiom or definition in the Metamath set.mm database
No description defined