Commit 2024-11-05 19:27 d1e879a1

View on Github →

chore: fix typo Continous-> Continuous (#18666)

Estimated changes

Modified Mathlib/Analysis/Complex/Basic.lean

deleted theorem Complex.uniformlyContinous_im

deleted theorem Complex.uniformlyContinous_re

added theorem Complex.uniformlyContinuous_im

added theorem Complex.uniformlyContinuous_re

Modified Mathlib/Analysis/Complex/ReImTopology.lean

Modified Mathlib/Analysis/Fourier/FourierTransformDeriv.lean

Modified Mathlib/MeasureTheory/Measure/FiniteMeasure.lean

deleted theorem MeasureTheory.FiniteMeasure.continuous_integral_boundedContinousFunction

added theorem MeasureTheory.FiniteMeasure.continuous_integral_boundedContinuousFunction