Mathlib Declaration ID (P14534)
identifier for a declaration in Mathlib, the mathematics library of the Lean theorem prover, that formalizes this concept
- Mathlib declaration
- Mathlib ID
- Lean declaration
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Mathlib Declaration ID |
identifier for a declaration in Mathlib, the mathematics library of the Lean theorem prover, that formalizes this concept |
|
Data type
External identifier