Commit 2025-07-04 12:40 a03ab304

View on Github →

chore: whitespace fixes (#26737) Found by #26706.

Estimated changes

Modified Mathlib/Algebra/Notation.lean

Modified Mathlib/Analysis/Calculus/VectorField.lean

Modified Mathlib/Analysis/Complex/IntegerCompl.lean

Modified Mathlib/Probability/CondVar.lean

modified theorem ProbabilityTheory.setIntegral_condVar

Modified Mathlib/Topology/ContinuousOn.lean

modified theorem continuousOn_iUnion_iff_of_isOpen