Proofgold Proposition

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

type
prop

theory
HotG

name
form100_1_v1_lem

proof
PUWsr..

Megalodon
form100_1_v1_lem

proofgold address
TMLiL..^{form100_1_v1_lem}

creator
23950 Pr5Zc../0db51..

owner
23950 Pr5Zc../0db51..

term root
e53de..