OAI/NumberTheory/OrdinaryCorrelations/HighTrace/SpecificationPrefactor.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.specificationPrefactor line 18
2. def OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.specificationDegree line 20
3. def OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.specificationBase line 21
4. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.specification_polynomial_bound line 24
5. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.source_specification_scales line 69
6. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.source_specification_prefactor line 101