Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-03 09:08 3d41e33f

View on Github →

feat(group_theory/submonoid/operations): mrange_eq_map (#3673)

Estimated changes