Proofgold Proposition

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

type
prop

theory
HotG

name
mul_SNo_neg_pos

proof
PUVu4..

Megalodon
mul_SNo_neg_pos

proofgold address
TMX5K..^{mul_SNo_neg_pos}

creator
5368 Pr6Pc../422db..

owner
5368 Pr6Pc../422db..

term root
6f7ff..