Commit 2024-07-31 06:44 1aef8600

feat: add comap_map for sub(semi)ring, subalgebra, subfield and intermediate fields (#15193) Generalizes Subgroup.comap_map_eq, Subgroup.comap_map_eq_self, Subgroup.comap_map_eq_self_of_injective, and Subgroup.map_comap_eq, Subgroup.map_comap_eq_self, Subgroup.map_comap_eq_self_of_surjective.