Mathlib Changelog
v4
Changelog
About
Github
Theorem
MulAction.IsBlock.stabilizer_le
Modification history
2024-10-22 16:09
Mathlib/GroupTheory/GroupAction/Blocks.lean
refactor(GroupAction/Blocks): additivise, fix names, golf API (#17578) …
Modified
MulAction.IsBlock.stabilizer_le
View on Github →
2024-07-11 10:12
Mathlib/GroupTheory/GroupAction/Blocks.lean
feat(GroupTheory/GroupAction/Blocks): order iso between blocks and subgroups (#13995) …
Added
MulAction.IsBlock.stabilizer_le
View on Github →