Commit 2025-01-28 17:39 2fc44e9c

View on Github →

chore: prepare for lean version bump (#21184)

Estimated changes

Modified Mathlib/Algebra/FreeMonoid/Basic.lean

Modified Mathlib/Algebra/Group/Pi/Lemmas.lean

modified theorem Commute.pi

Modified Mathlib/Algebra/Group/Prod.lean

Modified Mathlib/Algebra/LinearRecurrence.lean

Modified Mathlib/Combinatorics/Enumerative/DyckWord.lean

Modified Mathlib/Computability/Primrec.lean

Modified Mathlib/Computability/RegularExpressions.lean

Modified Mathlib/Computability/Tape.lean

Modified Mathlib/Data/List/Basic.lean

modified theorem List.indexOf_cons_self

deleted theorem List.indexOf_eq_length

added theorem List.indexOf_eq_length_iff

Modified Mathlib/Data/List/MinMax.lean

Modified Mathlib/Data/List/Monad.lean

Modified Mathlib/Data/List/Permutation.lean

Modified Mathlib/GroupTheory/Perm/Cycle/Type.lean

Modified Mathlib/NumberTheory/LegendreSymbol/JacobiSymbol.lean

Modified Mathlib/RingTheory/GradedAlgebra/HomogeneousLocalization.lean