Mathlib Changelog
v4
Changelog
About
Github
Theorem
MulAction.index_stabilizer_of_transitive
Modification history
2025-01-06 23:14
Mathlib/GroupTheory/Index.lean
chore: to_additive various results on groups, group actions (#20498)
Modified
MulAction.index_stabilizer_of_transitive
View on Github →
2024-10-17 20:34
Mathlib/GroupTheory/Index.lean
feat(GroupTheory/GroupAction/Blocks): lemmas to handle blocks on finite sets (#14029) …
Added
MulAction.index_stabilizer_of_transitive
View on Github →