Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-05 16:16 913950ed

View on Github →

feat(group_theory/subgroup): add monoid_hom.restrict (#6537)

Estimated changes