Commit 2026-03-24 23:14 ee64537e

View on Github →

doc(Analysis): fix typos (#37088) We fix a batch of typos that were flagged by PyCharm's proofreading inspection.

Estimated changes

Modified Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/Projection.lean

Modified Mathlib/Analysis/CStarAlgebra/Matrix.lean

Modified Mathlib/Analysis/Calculus/InverseFunctionTheorem/ApproximatesLinearOn.lean

Modified Mathlib/Analysis/Calculus/Rademacher.lean

Modified Mathlib/Analysis/Calculus/VectorField.lean

Modified Mathlib/Analysis/Complex/Periodic.lean

Modified Mathlib/Analysis/Normed/Module/Alternating/Uncurry/Fin.lean

Modified Mathlib/Analysis/Normed/Module/ContinuousInverse.lean

Modified Mathlib/Analysis/Polynomial/Norm.lean

Modified Mathlib/Analysis/RCLike/Extend.lean

Modified Mathlib/Analysis/SpecialFunctions/Bernstein.lean