Proofgold Object

λ x0 . ∀ x1 : ο . (∀ x2 . and (prim1 x2 48ef8..) (c2e41.. x0 x2) ⟶ x1) ⟶ x1

type
ι → ο

theory
HoTg

name
-

definition
PUUTm..

Megalodon
-

proofgold address
TMcPi..

creator
4786 PrGxv../05552..

owner
4786 PrGxv../05552..

term root
6d320..