Proofgold Proposition

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

type
prop

theory
HotG

name
minus_SNo_Lt_contra1

proof
PUK1b..

Megalodon
minus_SNo_Lt_contra1

proofgold address
TMEs4..^{minus_SNo_Lt_contra1}

creator
4949 Pr6Pc../41b6b..

owner
4949 Pr6Pc../41b6b..

term root
22675..