Proofgold Object

λ x0 : ι → ι . prim0 236c6.. (prim1 x0)

type
(ι → ι) → ι

theory
HOAS

name
-

definition
PUf2B..

Megalodon
-

proofgold address
TMHfe..

creator
1788 PrGxv../ae9a3..

owner
1788 PrGxv../ae9a3..

term root
a5d29..