Mathlib v3 is deprecated. Go to Mathlib v4

Def is_group_anti_hom

Modification history

2018-04-17 01:53
algebra/group.lean
chore(group_theory): fixups
Deleted is_group_anti_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_anti_homView on Github →
2018-01-02 16:52
algebra/group.lean
Group morphisms (#30) …
Added is_group_anti_homView on Github →