OAI/NumberTheory/Ostmann/QuadraticSieveDualAggregateZeroLargeWeights.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Ostmann.QuadraticSieve.dualZeroCutoffWeight line 11
2. def OAI.Ostmann.QuadraticSieve.dualLargeCutoffWeight line 13
3. lemma OAI.Ostmann.QuadraticSieve.dualZeroCutoffWeight_norm line 16
4. lemma OAI.Ostmann.QuadraticSieve.dualLargeCutoffWeight_norm line 23
5. lemma OAI.Ostmann.QuadraticSieve.dualZeroCutoffWeight_support line 30
6. lemma OAI.Ostmann.QuadraticSieve.dualLargeCutoffWeight_support line 35
7. lemma OAI.Ostmann.QuadraticSieve.dualWindowLower_le_upper line 41
8. lemma OAI.Ostmann.QuadraticSieve.dual_correction_scalar_norm line 50
9. theorem OAI.Ostmann.QuadraticSieve.dualZeroDivisorRows_eq_weighted line 59
10. theorem OAI.Ostmann.QuadraticSieve.dualLargeDivisorRows_eq_weighted line 72