OAI/Geometry/HeilbronnTriangle/PlaneLineMatrices.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem355.PlaneLineMatrices.planeRows line 13
2. theorem OAI.Problem355.PlaneLineMatrices.finrank_span_planeRows line 20
3. theorem OAI.Problem355.PlaneLineMatrices.exists_line_containing_matrix_rows line 31
4. def OAI.Problem355.PlaneLineMatrices.familyPiece line 42
5. theorem OAI.Problem355.PlaneLineMatrices.card_family_le_lines_mul_real line 47