OAI/NumberTheory/Ostmann/Arithmetic/PrimeCellMeshCounts.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Ostmann.Arithmetic.PrimeCellMeshBudget.meshWidth line 10
2. def OAI.Ostmann.Arithmetic.PrimeCellMeshBudget.meshIntervals line 12
3. lemma OAI.Ostmann.Arithmetic.PrimeCellMeshBudget.row_a₁_pos line 15
4. lemma OAI.Ostmann.Arithmetic.PrimeCellMeshBudget.mesh_ratio line 18
5. lemma OAI.Ostmann.Arithmetic.PrimeCellMeshBudget.meshIntervals_pos line 24
6. theorem OAI.Ostmann.Arithmetic.PrimeCellMeshBudget.log_meshIntervals_le line 28
7. theorem OAI.Ostmann.Arithmetic.PrimeCellMeshBudget.log_joint_mesh_card_le line 42