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 |
|---|---|---|---|
| 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
