Search for blocks/addresses/...

Proofgold Object

λ x0 : ο . If_i x0 (4ae4a.. 4a7ef..) 4a7ef..
type
ο → ι
theory
HoTg
name
-
definition
PUK9b..
Megalodon
-
proofgold address
TMc3C..
creator
3656 PrGxv../d899e..
owner
3656 PrGxv../d899e..
term root
d3837..