Theorem AddSubgroup.index_smul

Modification history

2025-04-18 07:38
Mathlib/GroupTheory/Index.lean
feat: the index of the scaling of a subgroup (#24025) …
Added AddSubgroup.index_smulView on Github →