Proofgold Proposition

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

type
prop

theory
HotG

name
add_CSNo_minus_CSNo_rinv

proof
PUQvq..

Megalodon
add_CSNo_minus_CSNo_rinv

proofgold address
TMdKn..^{add_CSNo_minus_CSNo_rinv}

creator
28444 PrQUS../20f79..

owner
28444 PrQUS../20f79..

term root
a39e6..