Skip to content

refactor(NumberTheory): golf ArithmeticFunction/Zeta

c4aa6b0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

refactor(NumberTheory): golf Mathlib/NumberTheory/ArithmeticFunction/Zeta #38278

refactor(NumberTheory): golf ArithmeticFunction/Zeta
c4aa6b0
Select commit
Loading
Failed to load commit list.
check_title
succeeded Apr 20, 2026 in 1m 12s