Theorem Subgroup.closure_induction''

Modification history

2024-02-08 19:09

Mathlib/GroupTheory/Subgroup/Pointwise.lean

feat: change `Subgroup` and `Submonoid` induction principles to work with `induction` (#9861) …

Modified Subgroup.closure_induction''View on Github →

2023-02-01 11:22

Mathlib/GroupTheory/Subgroup/Pointwise.lean

feat: port GroupTheory.Subgroup.Pointwise (#1981)

Added Subgroup.closure_induction''View on Github →