OAI/NumberTheory/DirichletL/CubicSieve/ColumnShells.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.CubicSieve.cubicColumnLabel line 12
2. abbrev OAI.SevenEighths.CubicSieve.CubicColumnShell line 15
3. lemma OAI.SevenEighths.CubicSieve.cubicColumnShell_bounds line 18
4. lemma OAI.SevenEighths.CubicSieve.cubicColumnShell_scale_le line 32
5. lemma OAI.SevenEighths.CubicSieve.cubicColumnShell_energy line 39
6. theorem OAI.SevenEighths.CubicSieve.cubic_energy_column_shells line 44