Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monoid_hom.cod_restrict_apply

Modification history

2022-06-09 09:58
src/group_theory/subgroup/basic.lean
refactor(algebra/sub{monoid,group,ring,semiring,field}): merge together the `restrict` and `cod_restrict` helpers (#14548) …
Deleted monoid_hom.cod_restrict_applyView on Github →
2021-06-07 15:40
src/group_theory/subgroup.lean
feat(specific_groups/alternating_group): The alternating group on 5 elements is simple (#7502) …
Added monoid_hom.cod_restrict_applyView on Github →