Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-05-14 11:17
75fbe69d
View on Github →
chore: backport fixes to deprecation warnings (
#12905
)
Estimated changes
Modified
Mathlib/NumberTheory/LSeries/HurwitzZetaOdd.lean