Nuprl Definition : mon_hom_inj_p
(compound):: IsMonHomInj(g;h;f) == IsMonHom{g,h}(f) ∧ Inj(|g|;|h|;f)
Definitions occuring in Statement :
monoid_hom_p: IsMonHom{M1,M2}(f),
grp_car: |g|,
inject: Inj(A;B;f),
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
monoid_hom_p: IsMonHom{M1,M2}(f),
inject: Inj(A;B;f),
grp_car: |g|
Latex:
(compound):: IsMonHomInj(g;h;f) == IsMonHom\{g,h\}(f) \mwedge{} Inj(|g|;|h|;f)
Date html generated:
2016_05_15-PM-00_09_47
Last ObjectModification:
2015_09_23-AM-06_24_33
Theory : groups_1
Home
Index