Proofgold Object

λ x0 . ∃ x1 . and (SNo x1) (∃ x3 . and (SNo x3) (∃ x5 . and (SNo x5) (∃ x7 . and (SNo x7) (∃ x9 . and (SNo x9) (∃ x11 . and (SNo x11) (∃ x13 . and (SNo x13) (∃ x15 . and (SNo x15) (x0 = bbc71.. x1 x3 x5 x7 x9 x11 x13 x15))))))))

type
ι → ο

theory
HotG

name
-

definition
PUhtR..

Megalodon
-

proofgold address
TMWqH..

creator
28142 PrQUS../2887d..

owner
28142 PrQUS../2887d..

term root
ecde4..