Proofgold Proposition

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

type
prop

theory
HotG

name
pos_mul_SNo_Lt'

proof
PUX1q..

Megalodon
pos_mul_SNo_Lt

proofgold address
TMXNW..^{pos_mul_SNo_Lt}

creator
12284 PrGxv../98448..

owner
12284 PrGxv../98448..

term root
a08fe..