Theorem MulAction.IsInvariantBlock.isFixedBlock

Modification history

2024-10-22 16:09
Mathlib/GroupTheory/GroupAction/Blocks.lean
refactor(GroupAction/Blocks): additivise, fix names, golf API (#17578) …
Deleted MulAction.IsInvariantBlock.isFixedBlockView on Github →
2024-05-28 17:51
Mathlib/GroupTheory/GroupAction/Blocks.lean
Feat (GroupTheory/GroupAction/Blocks) : blocks for a mul action (#12049) …
Added MulAction.IsInvariantBlock.isFixedBlockView on Github →