basic): `map_subtype_le` (#9916)

Commit

4 years ago

feat(group_theory/subgroup/basic): `map_subtype_le` (#9916) A subgroup of a subgroup is `≤`.

Author

tb65536

Parents