Search for blocks/addresses/...

Proofgold Object

In_rec_i (λ x0 . 94f9e.. (1ad11.. x0 (91630.. 4a7ef..)))
type
ι → ι
theory
HoTg
name
-
definition
PUKG7..
Megalodon
-
proofgold address
TMYPr..
creator
2750 PrGxv../f9f82..
owner
2750 PrGxv../f9f82..
term root
5b021..