Proofgold Proposition

∀ x0 . CSNo x0 ⟶ minus_HSNo x0 = minus_CSNo x0

type
prop

theory
HotG

name
minus_HSNo_minus_CSNo

proof
PUgzA..

Megalodon
minus_HSNo_minus_CSNo

proofgold address
TMRfK..^{minus_HSNo_minus_CSNo}

creator
28464 PrQUS../ce342..

owner
28464 PrQUS../ce342..

term root
a9014..