Commit 2025-09-17 01:02 00b850f8

View on Github →

chore: tidy various files (#29635)

Estimated changes

Modified Mathlib/Analysis/SpecialFunctions/Trigonometric/Cotangent.lean

Modified Mathlib/CategoryTheory/Monoidal/Action/Opposites.lean

Modified Mathlib/Combinatorics/SimpleGraph/Paths.lean

Modified Mathlib/NumberTheory/ModularForms/EisensteinSeries/Summable.lean

modified theorem EisensteinSeries.abs_norm_eq_max_natAbs

modified theorem EisensteinSeries.abs_norm_eq_max_natAbs_neg

Modified Mathlib/RingTheory/Coprime/Lemmas.lean

modified theorem Finset.prod_dvd_of_coprime