OAI/Geometry/ProjectionVolume/SimplexZonotope.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Paper092.simplexZonotope line 14
  2. theorem OAI.Paper092.simplexZonotope_isCompact line 22
  3. theorem OAI.Paper092.simplexZonotope_nonempty line 28
  4. theorem OAI.Paper092.simplexZonotope_convex line 34
  5. theorem OAI.Paper092.simplexZonotope_support line 38
  6. theorem OAI.Paper092.centered_segment_eq_vadd line 62
  7. theorem OAI.Paper092.sum_centered_segments_eq_vadd line 72
  8. theorem OAI.Paper092.coordinate_segments_eq_cube line 80
  9. theorem OAI.Paper092.smul_segment_image line 89
  10. theorem OAI.Paper092.simplexZonotope_eq_vadd_smul line 93
  11. theorem OAI.Paper092.volume_simplexZonotope line 129
  12. theorem OAI.Paper092.simplexZonotope_volume line 141