OAI/Geometry/ProjectionVolume/ProductNormals.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Paper092.inner_splitBlocks line 13
  2. def OAI.Paper092.liftFirst line 18
  3. def OAI.Paper092.liftSecond line 19
  4. theorem OAI.Paper092.firstBlock_liftFirst line 21
  5. theorem OAI.Paper092.secondBlock_liftFirst line 25
  6. theorem OAI.Paper092.firstBlock_liftSecond line 29
  7. theorem OAI.Paper092.secondBlock_liftSecond line 33
  8. theorem OAI.Paper092.inner_liftFirst line 37
  9. theorem OAI.Paper092.inner_liftSecond line 41
  10. theorem OAI.Paper092.liftFirst_norm line 45
  11. theorem OAI.Paper092.liftSecond_norm line 50
  12. theorem OAI.Paper092.productFacet_left_coordinate_plane line 55
  13. theorem OAI.Paper092.productFacet_right_coordinate_plane line 61
  14. theorem OAI.Paper092.productFacet_left_diagonal_plane line 67
  15. theorem OAI.Paper092.productFacet_right_diagonal_plane line 73