Commit 2026-01-09 08:53 b2941045
View on Github →chore: fix whitespace (#33747)
Found by extending the whitespace style linter to proof bodies of structures/instances in https://github.com/leanprover-community/mathlib4/pull/33393.
chore: fix whitespace (#33747)
Found by extending the whitespace style linter to proof bodies of structures/instances in https://github.com/leanprover-community/mathlib4/pull/33393.