OAI/NumberTheory/SiegelZeros/Characters/PrimeTerms.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SiegelZeros.WeightedTorusJets.W05.primeTermComparison line 14
2. def OAI.SiegelZeros.WeightedTorusJets.W05.eulerTerm line 30
3. theorem OAI.SiegelZeros.WeightedTorusJets.W05.eulerTerm_nonneg line 33
4. theorem OAI.SiegelZeros.WeightedTorusJets.W05.finite_prime_restriction line 40
5. theorem OAI.SiegelZeros.WeightedTorusJets.W05.infinite_prime_restriction line 63