OAI/NumberTheory/DirichletL/ParametersFixedSource.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.Parameters.fixed_bad_primes_prime line 13
2. theorem OAI.SevenEighths.Parameters.exists_fixed_source line 26
3. theorem OAI.SevenEighths.Parameters.exists_fixed_probe_window line 38