OAI/Geometry/HeilbronnTriangle/PlaneCount.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem355.PlaneCount.plane_lattice_count line 19
2. theorem OAI.Problem355.PlaneCount.thin_plane_lattice_count line 71
3. theorem OAI.Problem355.PlaneCount.exists_successive_plane_basis line 91
4. theorem OAI.Problem355.PlaneCount.exists_plane_lattice_count line 116
5. lemma OAI.Problem355.PlaneCount.isSuccessive_of_plane_minima line 136
6. theorem OAI.Problem355.PlaneCount.plane_covolume_bounds line 150
7. theorem OAI.Problem355.PlaneCount.exists_plane_lattice_estimates line 164