Proofgold Object

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

type
ι → ο

theory
HoTg

name
-

definition
PUfBi..

Megalodon
-

proofgold address
TMTQu..

creator
3879 PrGxv../98c4e..

owner
3879 PrGxv../98c4e..

term root
c45ae..