Commit 2026-01-07 12:38 2c7f8cf4
View on Github →chore: fix more spacing issues (#33705) Found by extending the commandStart linter to proof bodies in https://github.com/leanprover-community/mathlib4/pull/30658.
chore: fix more spacing issues (#33705) Found by extending the commandStart linter to proof bodies in https://github.com/leanprover-community/mathlib4/pull/30658.