Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PURzn..

Megalodon
Conj_double_eps_1__1__1

proofgold address
TMVZy..^{Conj_double_eps_1__1__1}

creator
35045 PrNpY../7d77d..

owner
35047 PrNpY../3de84..

term root
4c541..