Step
*
of Lemma
crng_subtype_rng
CRng ⊆r Rng
BY
{ Auto }
Latex:
Latex:
CRng  \msubseteq{}r  Rng
By
Latex:
Auto
Home
Index