Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-04-02 16:26
a03d29ed
View on Github →
feat: small lemmas about moebius (
#11770
)
Estimated changes
Modified
Mathlib/NumberTheory/ArithmeticFunction.lean
added
theorem
ArithmeticFunction.abs_moebius_le_one
added
theorem
ArithmeticFunction.moebius_eq_or