Proofgold Proposition

∀ x0 . SNo x0 ⟶ mul_SNo 4 (mul_SNo x0 x0) = mul_SNo (mul_SNo 2 x0) (mul_SNo 2 x0)

type
prop

theory
HotG

name
-

proof
PUZgE..

Megalodon
-

proofgold address
TMQE2..

creator
28850 Pr5Zc../1ba7d..

owner
28850 Pr5Zc../1ba7d..

term root
0ec6d..