Commit 2024-10-21 08:47 3b842b0c

View on Github →

chore: cleanup adaptation notes from 2024-09-06 (#17990)

Estimated changes

Modified Mathlib/Data/List/Forall2.lean

Modified Mathlib/Data/Nat/Defs.lean

Modified Mathlib/NumberTheory/LegendreSymbol/JacobiSymbol.lean

Modified Mathlib/SetTheory/Cardinal/Finite.lean