OAI/NumberTheory/SiegelZeros/Structure/CanonicalGoodMass.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SiegelZeros.W55.prime_mass_nat_lower line 15
2. lemma OAI.SiegelZeros.W55.log_floor_lower line 22
3. theorem OAI.SiegelZeros.W55.prime_mass_real_lower line 34
4. theorem OAI.SiegelZeros.W55.exists_absolute_prime_mass_lower line 41
5. theorem OAI.SiegelZeros.WeightedTorusJets.W63.exists_good_prime_mass_of_hadamard line 57
6. theorem OAI.SiegelZeros.WeightedTorusJets.W63.exists_good_prime_mass_for_target_zeros_of_hadamard line 102
7. theorem OAI.SiegelZeros.WeightedTorusJets.W63.exists_prime_bias_for_actual_zeros_of_HadamardFormula line 128
8. theorem OAI.SiegelZeros.WeightedTorusJets.W63.exists_good_mass_for_actual_zeros_of_HadamardFormula line 143