Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-26 00:11 410ae5d9

View on Github →

feat(group_theory/subgroup): add inv_iff_ker' and related (#790)

  • feat(group_theory/subgroup): add inv_iff_ker' and related
  • correcting spacing and adding to_additive attribute
  • changing name to ker-mk

Estimated changes

added theorem quotient_group.ker_mk