Commit 2022-01-26 13:30 5472f0a7
View on Github →feat(group_theory/subgroup/basic): add lemmas related to map, comap, normalizer (#11637)
which are useful when H < K < G and one needs to move from subgroup G to subgroup K
feat(group_theory/subgroup/basic): add lemmas related to map, comap, normalizer (#11637)
which are useful when H < K < G and one needs to move from subgroup G to subgroup K