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