Mathlib v3 is deprecated. Go to Mathlib v4

Theorem inv_is_group_anti_hom

Modification history

2020-07-21 09:25
src/algebra/group/anti_hom.lean
chore(algebra/group/anti_hom): remove is_group_anti_hom (#3485) …
Deleted inv_is_group_anti_homView on Github →
2019-06-11 17:46
src/algebra/group.lean
refactor(algebra/group): split into smaller files (#1121) …
Modified inv_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 inv_is_group_anti_homView on Github →
2018-01-04 09:05
algebra/group.lean
refactor(algebra/group): clean up PR commit
Added inv_is_group_anti_homView on Github →