basic): apply_mem_map_injective (#9637)

Commit

4 years ago

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

Author

tb65536

Parents