Commit 2023-09-29 15:19 2cb209a1

View on Github →

style: a linter for four spaces (#7283) Includes an auto-fix feature with the --fix flag so that spacing suggestions will be automatically applied in review also.

Estimated changes

Modified Mathlib/GroupTheory/SpecificGroups/Cyclic.lean

Modified Mathlib/LinearAlgebra/Prod.lean

modified def Submodule.fstEquiv

Modified Mathlib/NumberTheory/NumberField/Units.lean

Modified Mathlib/Tactic/ToAdditive.lean

Modified scripts/lint-style.py