basic): `comap_le_comap` lemmas (#14365)

Commit

4 years ago

feat(group_theory/subgroup/basic): `comap_le_comap` lemmas (#14365) This PR adds some `comap_le_comap` lemmas.

Author

tb65536

Parents