Theorem Subgroup.index_toAddSubgroup

Modification history

2024-08-18 22:27
Mathlib/GroupTheory/Index.lean
feat(GroupTheory/Index): `index_toAddSubgroup` (#15946) …
Added Subgroup.index_toAddSubgroupView on Github →