Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoLt x0 0 ⟶ SNoLt (recip_SNo x0) 0

type
prop

theory
HotG

name
recip_SNo_of_neg_is_neg

proof
PUSRj..

Megalodon
recip_SNo_of_neg_is_neg

proofgold address
TMJzg..^{recip_SNo_of_neg_is_neg}

creator
27837 PrQUS../f0780..

owner
27837 PrQUS../f0780..

term root
eceae..