Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ SNoLt x0 (minus_SNo x1) ⟶ SNoLt x1 (minus_SNo x0)

type
prop

theory
HotG

name
minus_SNo_Lt_contra2

proof
PUK1b..

Megalodon
minus_SNo_Lt_contra2

proofgold address
TMEu6..^{minus_SNo_Lt_contra2}

creator
4949 Pr6Pc../66188..

owner
4949 Pr6Pc../66188..

term root
c6f2d..