Theorem Subgroup.subgroupOf_map_powMonoidHom_eq_range

Modification history

2026-03-26 17:12
Mathlib/Algebra/Group/Subgroup/Ker.lean
feat(Algebra/Group): some API lemmas for powMonoidHom (#36458) …
Added Subgroup.subgroupOf_map_powMonoidHom_eq_rangeView on Github →