Proofgold Proposition

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

type
prop

theory
HotG

name
minus_SNo_Le_contra

proof
PUK1b..

Megalodon
minus_SNo_Le_contra

proofgold address
TMR6i..^{minus_SNo_Le_contra}

creator
4949 Pr6Pc../1f7be..

owner
4949 Pr6Pc../1f7be..

term root
c1b22..