Theorem Subgroup.index_map_of_bijective

Modification history

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