Proofgold Object

λ x0 . ∀ x1 : ο . (∀ x2 . and (SNo x2) (∀ x3 : ο . (∀ x4 . and (SNo x4) (∀ x5 : ο . (∀ x6 . and (SNo x6) (∀ x7 : ο . (∀ x8 . and (SNo x8) (x0 = f4b0e.. x2 x4 x6 x8) ⟶ x7) ⟶ x7) ⟶ x5) ⟶ x5) ⟶ x3) ⟶ x3) ⟶ x1) ⟶ x1

type
ι → ο

theory
HotG

name
-

definition
PUhtR..

Megalodon
-

proofgold address
TMcVU..

creator
28142 PrQUS../1a64b..

owner
28142 PrQUS../1a64b..

term root
5a283..