Mathlib v3 is deprecated. Go to Mathlib v4

Def is_group_hom

Modification history

2018-04-17 01:53
algebra/group.lean
chore(group_theory): fixups
Deleted is_group_homView on Github →
2018-04-16 19:39
algebra/group.lean
feat(data/option): more option stuff
Modified is_group_homView on Github →
2018-04-11 10:24
algebra/group.lean
feat(group_theory): add left/right cosets and normal subgroups
Modified is_group_homView on Github →
2018-04-10 13:02
algebra/group.lean
refactor(algebra): move is_submonoid to group_theory and base is_subgroup on is_submonoid
Modified is_group_homView on Github →
2018-01-02 16:52
algebra/group.lean
Group morphisms (#30) …
Added is_group_homView on Github →