OAI/NumberTheory/Ostmann/QuadraticSieveCoprimeQuadraticPoisson.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Ostmann.QuadraticSieve.jacobi_lattice_dilation line 10
2. theorem OAI.Ostmann.QuadraticSieve.coprime_quadratic_poisson line 27
3. theorem OAI.Ostmann.QuadraticSieve.gcdReducedModulus_odd line 46
4. theorem OAI.Ostmann.QuadraticSieve.imprimitive_jacobi_lattice line 52
5. instance OAI.Ostmann.QuadraticSieve.gcdReducedModulus_neZero line 64
6. theorem OAI.Ostmann.QuadraticSieve.odd_imprimitive_quadratic_poisson line 71