Proofgold Proposition

∀ x0 x1 x2 . SNo x0 ⟶ SNo x1 ⟶ SNo x2 ⟶ mul_SNo (div_SNo x0 x1) x2 = div_SNo (mul_SNo x0 x2) x1

type
prop

theory
HotG

name
mul_div_SNo_R

proof
PUSRj..

Megalodon
mul_div_SNo_R

proofgold address
TMcTC..^{mul_div_SNo_R}

creator
27837 PrQUS../93336..

owner
27837 PrQUS../93336..

term root
a7853..