Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-11 06:17 30cf8b77

View on Github →

feat(group_theory/subgroup/basic): apply_mem_map_injective (#9637) A translation of function.injective.mem_set_image.

Estimated changes