Blueprint Metadata Panel
Definition1
uses 0used by 0XL∃∀N
Lean status
- No associated Lean code or declarations.
Metadata panel body.
Theorem2
uses 0used by 0XL∃∀N
Lean status
- No associated Lean code or declarations.
Statement with a proof facet.
Proof for Theorem 2
uses 0
Proof body.
Definition3
uses 0used by 0XL∃∀N
Lean status
- No associated Lean code or declarations.
Leading zeros stay in the caption.
Definition4
uses 0used by 0XL∃∀N
Lean status
- No associated Lean code or declarations.
No numeric segment.
Definition5
uses 0used by 0XL∃∀N
Lean status
- No associated Lean code or declarations.
A blank issue URL counts as absent.
Definition6
uses 0used by 0XL∃∀N
Lean status
- No associated Lean code or declarations.
Query text is escaped in the rendered link.