Theorem MulAction.IsBlock.orbit_stabilizer_eq

Modification history

2024-10-22 16:09
Mathlib/GroupTheory/GroupAction/Blocks.lean
refactor(GroupAction/Blocks): additivise, fix names, golf API (#17578) …
Modified MulAction.IsBlock.orbit_stabilizer_eqView 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.orbit_stabilizer_eqView on Github →