Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ ∀ x1 . x1 ∈ setminus omega 1 ⟶ mul_SNo x0 x0 = mul_SNo 2 (mul_SNo x1 x1) ⟶ ∀ x2 : ο . x2

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
form100_1_lem2

proofgold address
TMU2c..^{form100_1_lem2}

creator
30111 PrQUS../2aaae..

owner
30111 PrQUS../2aaae..

term root
1bc37..