Search for blocks/addresses/...

Proofgold Object

λ x0 : ι → ι → ο . λ x1 . and (x0 x1 x1) (x1 = canonical_elt x0 x1)
type
(ιιο) → ιο
theory
HoTg
name
quotient
definition
PUM2d..
Megalodon
-
proofgold address
TMc29..
creator
4654 PrGxv../04fd9..
owner
4654 PrGxv../04fd9..
term root
185d8..