Metamath statement ID (P12888)
Jump to navigation
Jump to search
unique identifier for a theorem, axiom or definition in the Metamath set.mm database
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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