OAI/Geometry/ProjectionVolume/Extrusion.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Paper092.unitCube line 17
  2. def OAI.Paper092.extrusionCell line 19
  3. def OAI.Paper092.shearMatrix line 22
  4. theorem OAI.Paper092.det_shearMatrix line 25
  5. def OAI.Paper092.cellMap line 29
  6. theorem OAI.Paper092.cellMap_mem_iff line 33
  7. theorem OAI.Paper092.cellMap_eq_matrix line 56
  8. theorem OAI.Paper092.cellMap_measurePreserving line 84
  9. theorem OAI.Paper092.extrusionCell_measurable line 95
  10. theorem OAI.Paper092.unitCube_volume line 105
  11. theorem OAI.Paper092.extrusionCell_volume line 108
  12. theorem OAI.Paper092.coordinate_eq_null line 115
  13. theorem OAI.Paper092.coordinates_eq_null line 119
  14. theorem OAI.Paper092.cube_cell_aedisjoint line 138
  15. theorem OAI.Paper092.cells_aedisjoint line 144
  16. theorem OAI.Paper092.cube_add_diagonal_eq_union line 151
  17. theorem OAI.Paper092.volume_cube_add_diagonal line 204
  18. theorem OAI.Paper092.volume_Icc_add_segment_one line 213