Metamath statement ID (P12888)
unique identifier for a theorem, axiom or definition in the Metamath set.mm database
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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