Mathlib Changelog
v3
Changelog
About
Github
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
Modified
algebra/big_operators.lean
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
Modified
algebra/group.lean
deleted
theorem
group_anti_hom.inv
deleted
theorem
group_anti_hom.inv_is_group_anti_hom
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