OAI/Geometry/ProjectionVolume/SimplexNormals.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Paper092.diagonalVector line 13
  2. def OAI.Paper092.diagonalUnitNormal line 15
  3. theorem OAI.Paper092.diagonalVector_inner line 18
  4. theorem OAI.Paper092.inner_diagonalVector line 22
  5. theorem OAI.Paper092.diagonalVector_norm line 26
  6. theorem OAI.Paper092.diagonalUnitNormal_norm line 30
  7. theorem OAI.Paper092.diagonalUnitNormal_inner line 35
  8. theorem OAI.Paper092.inner_diagonalUnitNormal line 40
  9. theorem OAI.Paper092.coordinate_normal_norm line 44
  10. theorem OAI.Paper092.simplexFacet_coordinate_plane line 47
  11. theorem OAI.Paper092.simplexFacet_diagonal_plane line 52