Commit 2024-07-11 10:12 34c81a74
View on Github →feat(GroupTheory/GroupAction/Blocks): order iso between blocks and subgroups (#13995) This PR proves the order isomorphism between blocks containing a point and subgroups containing its stabilizer.
feat(GroupTheory/GroupAction/Blocks): order iso between blocks and subgroups (#13995) This PR proves the order isomorphism between blocks containing a point and subgroups containing its stabilizer.