Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2020-03-09 00:56
ca370cb9
View on Github →
fix(deprecated/group): remove dangerous instances (
#2096
)
Estimated changes
Modified
src/deprecated/group.lean
added
theorem
additive.is_add_group_hom
added
theorem
additive.is_add_hom
added
theorem
additive.is_add_monoid_hom
added
theorem
multiplicative.is_group_hom
added
theorem
multiplicative.is_monoid_hom
added
theorem
multiplicative.is_mul_hom
Modified
src/group_theory/quotient_group.lean
Modified
src/group_theory/subgroup.lean
added
theorem
additive.is_add_subgroup
added
theorem
additive.normal_add_subgroup
modified
def
is_group_hom.ker
modified
theorem
is_group_hom.mem_ker
added
theorem
multiplicative.is_subgroup
added
theorem
multiplicative.normal_subgroup