Metamath statement ID (P628)
From MaRDI portal
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
P12888
0 references
