Theorem ArithmeticFunction.vonMangoldt.continuousOn_LFunctionResidueClassAux'

Modification history

2024-11-26 05:23
Mathlib/NumberTheory/LSeries/PrimesInAP.lean
chore(NumberTheory/LSeries/PrimesInAP): fix name (Lfunction -> LFunction) (#19474)
Added ArithmeticFunction.vonMangoldt.continuousOn_LFunctionResidueClassAux'View on Github →