mathlib

3d41e33f - feat(group_theory/submonoid/operations): mrange_eq_map (#3673)