Proofgold Proposition

∀ x0 x1 x2 x3 . SNo x0 ⟶ SNo x1 ⟶ SNo x2 ⟶ SNo x3 ⟶ SNo (add_SNo (mul_SNo x2 x1) (add_SNo (mul_SNo x0 x3) (minus_SNo (mul_SNo x2 x3))))

type
prop

theory
HotG

name
SNo_mul_SNo_lem

proof
PUU9n..

Megalodon
SNo_mul_SNo_lem

proofgold address
TMXGn..^{SNo_mul_SNo_lem}

creator
4981 Pr6Pc../a0165..

owner
4981 Pr6Pc../a0165..

term root
632e9..