Proofgold Proposition

∀ x0 . SNo x0 ⟶ minus_SNo x0 = minus_CSNo x0

type
prop

theory
HotG

name
minus_SNo_minus_CSNo

proof
PUi5E..

Megalodon
minus_SNo_minus_CSNo

proofgold address
TMYnJ..^{minus_SNo_minus_CSNo}

creator
4962 Pr6Pc../a1e64..

owner
4962 Pr6Pc../a1e64..

term root
95399..