Proofgold Proposition

∀ x0 . OSNo x0 ⟶ add_OSNo (minus_OSNo x0) x0 = 0

type
prop

theory
HotG

name
add_OSNo_minus_OSNo_linv

proof
PUdK2..

Megalodon
add_OSNo_minus_OSNo_linv

proofgold address
TMEgn..^{add_OSNo_minus_OSNo_linv}

creator
28513 PrQUS../766f1..

owner
28513 PrQUS../766f1..

term root
d558d..