Commit 2025-05-13 09:18 be3f47ae

View on Github →

chore: whitespace fixes (#24837) Foud by #24465.

Estimated changes

Modified Mathlib/Analysis/Meromorphic/Basic.lean

modified theorem MeromorphicAt.fun_prod

Modified Mathlib/MeasureTheory/Function/LpSpace/ContinuousFunctions.lean

modified def ContinuousMap.toLp

Modified Mathlib/MeasureTheory/Measure/AEMeasurable.lean

Modified Mathlib/RingTheory/Localization/Basic.lean

Modified Mathlib/RingTheory/MvPowerSeries/Order.lean