Proofgold Proposition

∀ x0 . SNo x0 ⟶ add_SNo (minus_SNo x0) x0 = 0

type
prop

theory
HotG

name
add_SNo_minus_SNo_linv

proof
PUi5E..

Megalodon
add_SNo_minus_SNo_linv

proofgold address
TML2R..^{add_SNo_minus_SNo_linv}

creator
4962 Pr6Pc../8e03d..

owner
4962 Pr6Pc../8e03d..

term root
42471..