Commit 2025-04-15 07:00 9ea2e6f2
View on Github →fix(GroupTheory/GroupAction/Blocks): generalize one hypothesis (#24038)
This relaxes one hypothesis in a lemma about blocks, from ->* to ->.
Nothing else is changed.
fix(GroupTheory/GroupAction/Blocks): generalize one hypothesis (#24038)
This relaxes one hypothesis in a lemma about blocks, from ->* to ->.
Nothing else is changed.