Commit 2024-08-08 17:32 71182add

View on Github →

chore: backports for leanprover/lean4#4814 (part 37) (#15608)

Estimated changes

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

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

Modified Mathlib/Analysis/Calculus/LineDeriv/IntegrationByParts.lean

Modified Mathlib/Analysis/Complex/LocallyUniformLimit.lean

modified theorem Complex.cderiv_eq_deriv

Modified Mathlib/Analysis/SpecialFunctions/ContinuousFunctionalCalculus/ExpLog.lean

Modified Mathlib/MeasureTheory/Integral/PeakFunction.lean

Modified Mathlib/NumberTheory/LSeries/AbstractFuncEq.lean

modified theorem WeakFEPair.f_modif_aux2

modified theorem WeakFEPair.hasMellin