Step
*
of Lemma
algebra_subtype_module
∀A:RngSig. (algebra{i:l}(A) ⊆r A-Module)
BY
{ Auto }
Latex:
Latex:
\mforall{}A:RngSig.  (algebra\{i:l\}(A)  \msubseteq{}r  A-Module)
By
Latex:
Auto
Home
Index