Proofgold Object

λ x0 . ∃ x1 . and (prim1 x1 48ef8..) (c2e41.. x0 x1)

type
ι → ο

theory
HoTg

name
-

definition
PUUTm..

Megalodon
-

proofgold address
TMcPi..

creator
4786 PrGxv../05552..

owner
4786 PrGxv../05552..

term root
6d320..