Mathlib Changelog
v4
Changelog
About
Github
Def
Subgroup.cardCommutatorBound
Modification history
2023-06-06 04:38
Mathlib/GroupTheory/Schreier.lean
feat: port GroupTheory.Schreier (#4706)
Added
Subgroup.cardCommutatorBound
View on Github →