Proofgold Proposition

∀ x0 . SNo x0 ⟶ x0 = mul_SNo (eps_ 1) (add_SNo x0 x0)

type
prop

theory
HotG

name
-

proof
PUesu..

Megalodon
-

proofgold address
TMcZh..

creator
12391 PrGxv../4d58b..

owner
12391 PrGxv../4d58b..

term root
66aae..