Proofgold Proposition

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

type
prop

theory
HotG

name
minus_SNo_Lt_contra

proof
PUK1b..

Megalodon
minus_SNo_Lt_contra

proofgold address
TMPCe..^{minus_SNo_Lt_contra}

creator
4949 Pr6Pc../16728..

owner
4949 Pr6Pc../16728..

term root
5ce52..