Commit 2025-12-01 12:02 eb5fdb92

View on Github →

chore(NumberTheory/ArithmeticFunction): clean unnecessary imports and scopes (#32298)

Estimated changes

Modified Mathlib/NumberTheory/ArithmeticFunction.lean

modified theorem ArithmeticFunction.sigma_eq_sum_div

modified theorem ArithmeticFunction.zeta_pos