Commit 2025-04-18 07:38 bab034fe

View on Github →

feat: the index of the scaling of a subgroup (#24025) From FLT

Estimated changes

added theorem AddSubgroup.index_smul
modified theorem Subgroup.index_map_eq