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
.
feat(group_theory/subgroup/basic): apply_mem_map_injective (#9637)
A translation of function.injective.mem_set_image
.