Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ SNoLt x0 0 ⟶ SNoLt 0 x1 ⟶ SNoLt (div_SNo x0 x1) 0

type
prop

theory
HotG

name
div_SNo_neg_pos

proof
PUSRj..

Megalodon
div_SNo_neg_pos

proofgold address
TMY6n..^{div_SNo_neg_pos}

creator
27837 PrQUS../0ea82..

owner
27837 PrQUS../0ea82..

term root
ff8d4..