Commit 2023-08-11 14:14 ecc61a3b

View on Github →

style: remove trailing whitespace and modify the linter to detect it (#6519)

Estimated changes

Modified Archive/Imo/Imo2011Q3.lean

Modified Mathlib/Algebra/Algebra/Subalgebra/Unitization.lean

Modified Mathlib/Algebra/Ring/Equiv.lean

Modified Mathlib/Analysis/Convex/Combination.lean

Modified Mathlib/Analysis/Convex/Cone/Proper.lean

Modified Mathlib/Analysis/NormedSpace/HomeomorphBall.lean

Modified Mathlib/Analysis/ODE/Gronwall.lean

Modified Mathlib/Analysis/SpecialFunctions/Complex/LogDeriv.lean

Modified Mathlib/CategoryTheory/DifferentialObject.lean

modified theorem CategoryTheory.DifferentialObject.comp_f

Modified Mathlib/Data/Real/Sqrt.lean

Modified Mathlib/Geometry/Euclidean/Inversion/Calculus.lean

Modified Mathlib/Geometry/Manifold/SmoothManifoldWithCorners.lean

Modified Mathlib/Geometry/Manifold/VectorBundle/FiberwiseLinear.lean

Modified Mathlib/Geometry/Manifold/WhitneyEmbedding.lean

Modified Mathlib/MeasureTheory/Integral/TorusIntegral.lean

Modified Mathlib/NumberTheory/LegendreSymbol/Basic.lean

Modified Mathlib/NumberTheory/Liouville/Measure.lean

Modified Mathlib/Order/Filter/CountableSeparatingOn.lean

Modified Mathlib/Order/Irreducible.lean

Modified Mathlib/Tactic/Nontriviality/Core.lean

Modified Mathlib/Topology/Sheaves/Functors.lean

Modified scripts/lint-style.py