∀ {q : ℕ} (a : ZMod q) [inst : NeZero q],
  ContinuousOn (ArithmeticFunction.vonMangoldt.LFunctionResidueClassAux a)
    {s | s = 1 ∨ ∀ (χ : DirichletCharacter ℂ q), DirichletCharacter.LFunction χ s ≠ 0}