Commit 2025-12-16 11:38 9e6235d8
View on Github →chore(GroupTheory): fix whitespace (#32950) Extracted from https://github.com/leanprover-community/mathlib4/pull/30658. Found by extending the commandStart linter to proof bodies.
chore(GroupTheory): fix whitespace (#32950) Extracted from https://github.com/leanprover-community/mathlib4/pull/30658. Found by extending the commandStart linter to proof bodies.