Proofgold Proposition

∀ x0 . 1eb0a.. x0 ⟶ and (SNo (da724.. x0)) (∀ x1 : ο . (∀ x2 . and (SNo x2) (∀ x3 : ο . (∀ x4 . and (SNo x4) (∀ x5 : ο . (∀ x6 . and (SNo x6) (∀ x7 : ο . (∀ x8 . and (SNo x8) (x0 = bbc71.. (8dd2c.. x0) (c6963.. x0) (a9894.. x0) (da724.. x0) x2 x4 x6 x8) ⟶ x7) ⟶ x7) ⟶ x5) ⟶ x5) ⟶ x3) ⟶ x3) ⟶ x1) ⟶ x1)

type
prop

theory
HotG

name
-

proof
PUWiW..

Megalodon
-

proofgold address
TMazw..

creator
28269 PrQUS../d8e7a..

owner
28269 PrQUS../d8e7a..

term root
1fb29..