Theorem subgroup.closure_induction_right
Modification history
2023-04-03 20:45
src/group_theory/subgroup/pointwise.lean
feat(algebra/group_power/lemmas): Induction principle for powers (#18668) …
Modified subgroup.closure_induction_rightView on Github →