Proofgold Proposition

∀ x0 . 1eb0a.. x0 ⟶ and (SNo (adebb.. x0)) (∃ x1 . and (SNo x1) (∃ x3 . and (SNo x3) (∃ x5 . and (SNo x5) (x0 = bbc71.. (8dd2c.. x0) (c6963.. x0) (a9894.. x0) (da724.. x0) (adebb.. x0) x1 x3 x5))))

type
prop

theory
HotG

name
-

proof
PUWiW..

Megalodon
-

proofgold address
TMGye..

creator
28269 PrQUS../a2d31..

owner
28269 PrQUS../a2d31..

term root
270bc..