Theorem ArithmeticFunction.vonMangoldt.LFunctionResidueClassAux_real

Modification history

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