Proofgold Object

λ x0 . ∃ x1 . and (80242.. x1) (∃ x3 . and (80242.. x3) (x0 = 236dc.. x1 x3))

type
ι → ο

theory
HoTg

name
-

definition
PUfBi..

Megalodon
-

proofgold address
TMTQu..

creator
3879 PrGxv../98c4e..

owner
3879 PrGxv../98c4e..

term root
c45ae..