Mathlib v3 is deprecated. Go to Mathlib v4

Theorem group_anti_hom.inv_is_group_anti_hom

Modification history

2018-01-04 09:05
algebra/group.lean
refactor(algebra/group): clean up PR commit
Deleted group_anti_hom.inv_is_group_anti_homView on Github →
2018-01-02 16:52
algebra/group.lean
Group morphisms (#30) …
Added group_anti_hom.inv_is_group_anti_homView on Github →