Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-01-04 09:05 3f2435e5

View on Github →

refactor(algebra/group): clean up PR commit

Estimated changes

deleted theorem anti_mph_prod
modified theorem inv_prod
added theorem is_group_anti_hom.prod
added theorem is_group_hom.prod
deleted theorem mph_prod
deleted theorem group_anti_hom.inv
deleted theorem group_anti_hom.one
deleted theorem group_hom.inv
deleted theorem group_hom.one
added theorem inv_is_group_anti_hom
added theorem is_group_anti_hom.inv
added theorem is_group_anti_hom.mul
added theorem is_group_anti_hom.one
added theorem is_group_hom.inv
added theorem is_group_hom.mul
added theorem is_group_hom.one