Step
*
of Lemma
calgebra_properties
∀A:Rng. ∀m:CAlg(A).  Comm(m.car;m.times)
BY
{ ProvePropertiesLemma }
Latex:
Latex:
\mforall{}A:Rng.  \mforall{}m:CAlg(A).    Comm(m.car;m.times)
By
Latex:
ProvePropertiesLemma
Home
Index