Theorem MulAction.stabilizer_orbit_eq

Modification history

2024-07-11 10:12
Mathlib/GroupTheory/GroupAction/Blocks.lean
feat(GroupTheory/GroupAction/Blocks): order iso between blocks and subgroups (#13995) …
Added MulAction.stabilizer_orbit_eqView on Github →