Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-16 14:09 e00d688f

View on Github →

chore(group_theory/subgroup): rename monoid_hom.to_range to monoid_hom.range_restrict (#7218) This makes it match:

  • monoid_hom.mrange_restrict
  • linear_map.range_restrict
  • ring_hom.range_restrict
  • ring_hom.srange_restrict
  • alg_hom.range_restrict This also adds a missing simp lemma.

Estimated changes