Proofgold Object

λ x0 . λ x1 : ι → ι . λ x2 . prim0 (λ x3 . and (prim1 x3 x0) (x1 x3 = x2))

type
ι → (ι → ι) → ι → ι

theory
HoTg

name
inv

definition
PUhdM..

Megalodon
-

proofgold address
TMJjS..

creator
2717 PrGxv../d83bf..

owner
2717 PrGxv../d83bf..

term root
896fa..