---

Step * of Lemma module_hom_properties

∀A:RngSig. ∀M,N:algebra_sig{i:l}(|A|). ∀f:module_hom(A; M; N).  module_hom_p(A; M; N; f)
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}A:RngSig.  \mforall{}M,N:algebra\_sig\{i:l\}(|A|).  \mforall{}f:module\_hom(A;  M;  N).    module\_hom\_p(A;  M;  N;  f)


By

---

Latex:
ProvePropertiesLemma

---

Home Index