Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_p_group.comap_subtype

Modification history

2022-01-26 13:30
src/group_theory/p_group.lean
feat(group_theory/subgroup/basic): add lemmas related to map, comap, normalizer (#11637) …
Added is_p_group.comap_subtypeView on Github →