Proofgold Proposition

∀ x0 . CSNo x0 ⟶ add_CSNo x0 0 = x0

type
prop

theory
HotG

name
add_CSNo_0R

proof
PUQvq..

Megalodon
add_CSNo_0R

proofgold address
TMTNy..^add_CSNo_0R

creator
28444 PrQUS../5e32e..

owner
28444 PrQUS../5e32e..

term root
5d190..