Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 x2 x3 x4 . even_nat x1 ⟶ even_nat x2 ⟶ even_nat x3 ⟶ odd_nat x4 ⟶ mul_SNo 2 x0 = add_SNo (mul_SNo x1 x1) (add_SNo (mul_SNo x2 x2) (add_SNo (mul_SNo x3 x3) (mul_SNo x4 x4))) ⟶ ∀ x5 : ο . x5

type
prop

theory
HotG

name
-

proof
PUTZ7..

Megalodon
-

proofgold address
TMTe9..

creator
28951 Pr5Zc../cae22..

owner
28951 Pr5Zc../cae22..

term root
a6bd0..