OAI/Geometry/HeilbronnTriangle/IntegerMatrixEvents.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Problem355.IntegerMatrixEvents.IntMatrix line 15
  2. theorem OAI.Problem355.IntegerMatrixEvents.integralMatrix_injective line 17
  3. def OAI.Problem355.IntegerMatrixEvents.InBox line 24
  4. def OAI.Problem355.IntegerMatrixEvents.integralMatrixEquiv line 27
  5. def OAI.Problem355.IntegerMatrixEvents.matrices line 34
  6. theorem OAI.Problem355.IntegerMatrixEvents.mem_matrices line 38
  7. theorem OAI.Problem355.IntegerMatrixEvents.integralMatrix_residue line 49
  8. theorem OAI.Problem355.IntegerMatrixEvents.integralMatrix_project line 54
  9. theorem OAI.Problem355.IntegerMatrixEvents.sum_image_integralMatrix line 59
  10. theorem OAI.Problem355.IntegerMatrixEvents.image_matrix_event line 67
  11. theorem OAI.Problem355.IntegerMatrixEvents.sum_matrix_event line 82
  12. def OAI.Problem355.IntegerMatrixEvents.matrixWeight line 90
  13. theorem OAI.Problem355.IntegerMatrixEvents.matrixWeight_integralMatrix line 95
  14. theorem OAI.Problem355.IntegerMatrixEvents.sum_auxiliaryWeight_event line 103
  15. theorem OAI.Problem355.IntegerMatrixEvents.sampling_coord_bounds line 113
  16. theorem OAI.Problem355.IntegerMatrixEvents.sampling_coord_abs_le line 120
  17. theorem OAI.Problem355.IntegerMatrixEvents.sampling_height_pos line 129