Proofgold Proposition

∀ x0 x1 . CSNo x0 ⟶ CSNo x1 ⟶ CSNo (add_CSNo x1 x0) ⟶ add_CSNo x0 x1 = add_CSNo x1 x0

type
prop

theory
HotG

name
-

proof
PUTNo..

Megalodon
Conj_add_CSNo_com__1__2

proofgold address
TMJR3..^{Conj_add_CSNo_com__1__2}

creator
35053 PrNpY../55725..

owner
35062 PrNpY../4541f..

term root
5df67..