Proofgold Object

λ x0 . prim0 (λ x1 . and (80242.. x1) (∀ x2 : ο . (∀ x3 . and (80242.. x3) (x0 = 236dc.. x1 x3) ⟶ x2) ⟶ x2))

type
ι → ι

theory
HoTg

name
-

definition
PUfBi..

Megalodon
-

proofgold address
TMMDz..

creator
3879 PrGxv../0ff9e..

owner
3879 PrGxv../0ff9e..

term root
c83fe..