Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . nat_p x1 ⟶ mul_SNo x0 x0 = mul_SNo 2 (mul_SNo x1 x1) ⟶ x1 = 0

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
form100_1_lem1

proofgold address
TMcxe..^{form100_1_lem1}

creator
30111 PrQUS../0e5c1..

owner
30111 PrQUS../0e5c1..

term root
8d3f6..