---

Step * of Lemma inj_mon_hom_properties

∀[g,h:GrpSig]. ∀[f:InjMonHom(g;h)].  Inj(|g|;|h|;f)
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}[g,h:GrpSig].  \mforall{}[f:InjMonHom(g;h)].    Inj(|g|;|h|;f)


By

---

Latex:
ProvePropertiesLemma

---

Home Index