OAI/NumberTheory/DirichletL/Descent/SecondCellPhysical.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.InverseMoment.secondCellColumnExponent line 15
2. theorem OAI.SevenEighths.InverseMoment.second_cell_column_scale line 18
3. theorem OAI.SevenEighths.InverseMoment.second_cell_physical_scale line 23
4. theorem OAI.SevenEighths.InverseMoment.second_cell_clipping_ratio line 28
5. theorem OAI.SevenEighths.InverseMoment.actual_priority_cell_profile line 43
6. theorem OAI.SevenEighths.InverseMoment.actual_priority_cells line 62
7. theorem OAI.SevenEighths.InverseMoment.actual_source_block_ratios line 102