OAI/Geometry/HeilbronnTriangle/SpecialNormals.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem355.SpecialNormals.outside_coordinate_zero line 10
2. theorem OAI.Problem355.SpecialNormals.outside_coordinate_dvd line 18
3. theorem OAI.Problem355.SpecialNormals.modulus_le_outside_natAbs line 26
4. theorem OAI.Problem355.SpecialNormals.half_modulus_lt_shell line 34
5. theorem OAI.Problem355.SpecialNormals.card_difference_line line 44
6. theorem OAI.Problem355.SpecialNormals.card_le_modulus_mul_fiber_bound line 55
7. theorem OAI.Problem355.SpecialNormals.card_exceptional_normals_mul_sq_le line 80
8. theorem OAI.Problem355.SpecialNormals.card_exceptional_normals_le line 104