Proofgold Proposition

∀ x0 . HSNo x0 ⟶ minus_OSNo x0 = minus_HSNo x0

type
prop

theory
HotG

name
minus_OSNo_minus_HSNo

proof
PUdK2..

Megalodon
minus_OSNo_minus_HSNo

proofgold address
TMVNv..^{minus_OSNo_minus_HSNo}

creator
28513 PrQUS../c1e4c..

owner
28513 PrQUS../c1e4c..

term root
ad664..