Def Mathlib.Meta.Positivity.evalArithmeticFunctionZeta

Modification history

2025-11-19 06:07
Mathlib/NumberTheory/ArithmeticFunction.lean
chore: move Mathlib to the module system (#31786) …
Deleted Mathlib.Meta.Positivity.evalArithmeticFunctionZetaView on Github →
2025-09-15 18:23
Mathlib/NumberTheory/ArithmeticFunction.lean
feat(ArithmeticFunction): lemmas about positivity (#28789) …
Added Mathlib.Meta.Positivity.evalArithmeticFunctionZetaView on Github →