Theorem MulAction.IsBlock.image

Modification history

2025-04-15 07:00
Mathlib/GroupTheory/GroupAction/Blocks.lean
fix(GroupTheory/GroupAction/Blocks): generalize one hypothesis (#24038) …
Modified MulAction.IsBlock.imageView on Github →
2025-04-09 11:53
Mathlib/GroupTheory/GroupAction/Blocks.lean
feat: generalize Mathlib.GroupTheory (#23192) …
Modified MulAction.IsBlock.imageView on Github →
2024-05-28 17:51
Mathlib/GroupTheory/GroupAction/Blocks.lean
Feat (GroupTheory/GroupAction/Blocks) : blocks for a mul action (#12049) …
Added MulAction.IsBlock.imageView on Github →