OAI/NumberTheory/SiegelZeros/Characters/UnconditionalPrimeBias.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SiegelZeros.WeightedTorusJets.W63.normalizedZeroSumAt_of_actual_character line 13
2. theorem OAI.SiegelZeros.WeightedTorusJets.W63.hadamardFormulaAt_of_actual_character line 27
3. theorem OAI.SiegelZeros.WeightedTorusJets.W63.exists_prime_bias_for_actual_zeros line 33
4. theorem OAI.SiegelZeros.WeightedTorusJets.W63.exists_good_mass_for_actual_zeros line 48
5. theorem OAI.SiegelZeros.WeightedTorusJets.W63.exists_good_mass_for_actual_zeros_normalized line 69