Proofgold Proposition

∀ x0 . SNo x0 ⟶ minus_CSNo x0 = minus_SNo x0

type
prop

theory
HotG

name
minus_CSNo_minus_SNo

proof
PUQvq..

Megalodon
minus_CSNo_minus_SNo

proofgold address
TMHQN..^{minus_CSNo_minus_SNo}

creator
28444 PrQUS../cc54c..

owner
28444 PrQUS../cc54c..

term root
c7c7a..