Mathlib Changelog
v4
Changelog
About
Github
Theorem
MulAction.IsTrivialBlock.isBlock
Modification history
2024-10-22 16:09
Mathlib/GroupTheory/GroupAction/Blocks.lean
refactor(GroupAction/Blocks): additivise, fix names, golf API (#17578) …
Added
MulAction.IsTrivialBlock.isBlock
View on Github →