Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-09 07:26 d3d35395

View on Github →

Removed unnecessary assumption in map_injective_of_injective (#15184) Removed assumption in map_injective_of_injective

Estimated changes