Proofgold Proposition

∀ x0 . SNo x0 ⟶ mul_SNo (minus_SNo x0) (minus_SNo x0) = mul_SNo x0 x0

type
prop

theory
HotG

name
-

proof
PUZgE..

Megalodon
-

proofgold address
TMdWf..

creator
28850 Pr5Zc../7de28..

owner
28850 Pr5Zc../7de28..

term root
35564..