Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ mul_SNo (minus_SNo x0) x1 = minus_SNo (mul_SNo x0 x1)

type
prop

theory
HotG

name
mul_SNo_minus_distrL

proof
PUU9n..

Megalodon
mul_SNo_minus_distrL

proofgold address
TMXe2..^{mul_SNo_minus_distrL}

creator
4981 Pr6Pc../c9ddb..

owner
4981 Pr6Pc../c9ddb..

term root
9beaa..