Proofgold Proposition

∀ x0 . CSNo x0 ⟶ add_CSNo (minus_CSNo x0) x0 = 0

type
prop

theory
HotG

name
add_CSNo_minus_CSNo_linv

proof
PUQvq..

Megalodon
add_CSNo_minus_CSNo_linv

proofgold address
TMdps..^{add_CSNo_minus_CSNo_linv}

creator
28444 PrQUS../0de95..

owner
28444 PrQUS../0de95..

term root
02ca9..