OAI/Geometry/ProjectionVolume/SimplexVolume.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Paper092.coordinateSimplex line 14
  2. theorem OAI.Paper092.measurableSet_coordinateSimplex line 17
  3. theorem OAI.Paper092.coordinateSimplex_volume_eq line 25
  4. def OAI.Paper092.signChange line 35
  5. theorem OAI.Paper092.signChange_abs line 38
  6. theorem OAI.Paper092.signChange_measurePreserving line 42
  7. def OAI.Paper092.signedSimplex line 57
  8. theorem OAI.Paper092.measurableSet_signedSimplex line 60
  9. theorem OAI.Paper092.signedSimplex_volume line 64
  10. theorem OAI.Paper092.signedSimplex_union line 69
  11. theorem OAI.Paper092.signedSimplex_pairwise_aedisjoint line 95
  12. theorem OAI.Paper092.signedSimplex_volume_sum line 112
  13. theorem OAI.Paper092.l1Ball_volume line 119
  14. theorem OAI.Paper092.standardSimplex_volume line 134