Proofgold Proposition

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

type
prop

theory
HotG

name
add_CSNo_minus_CSNo_linv

proof
PUi5E..

Megalodon
add_CSNo_minus_CSNo_linv

proofgold address
TMWn3..^{add_CSNo_minus_CSNo_linv}

creator
4962 Pr6Pc../a4e33..

owner
4962 Pr6Pc../a4e33..

term root
87ef9..