Proofgold Object

λ x0 . ∃ x1 . and (SNo x1) (∃ x3 . and (SNo x3) (∃ x5 . and (SNo x5) (∃ x7 . and (SNo x7) (x0 = f4b0e.. x1 x3 x5 x7))))

type
ι → ο

theory
HotG

name
-

definition
PUhtR..

Megalodon
-

proofgold address
TMcVU..

creator
28142 PrQUS../1a64b..

owner
28142 PrQUS../1a64b..

term root
5a283..