OAI/Geometry/HeilbronnTriangle/SmallDeterminantWeight.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem355.SmallDeterminantWeight.intCast_ne_zero_of_abs_lt line 11
2. theorem OAI.Problem355.SmallDeterminantWeight.det_map_ne_zero line 18
3. theorem OAI.Problem355.SmallDeterminantWeight.affineIndependent_columns line 26
4. theorem OAI.Problem355.SmallDeterminantWeight.weight_le_eight line 33
5. theorem OAI.Problem355.SmallDeterminantWeight.sum_weight_le_eight_mul_card line 46
6. abbrev OAI.Problem355.SmallDeterminantWeight.Space line 68
7. abbrev OAI.Problem355.SmallDeterminantWeight.AffineGroup line 69
8. theorem OAI.Problem355.SmallDeterminantWeight.normalized_affine_weight_le_eight line 73
9. theorem OAI.Problem355.SmallDeterminantWeight.sum_normalized_affine_weight_le line 89