OAI/Geometry/ProjectionVolume/SequenceLimits.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Paper092.euclideanUnitBallVolume_pos line 11
  2. theorem OAI.Paper092.brightness_unit line 16
  3. theorem OAI.Paper092.projectionBody_monotone_sequence line 20
  4. theorem OAI.Paper092.approximation_projectionBody_union_closure line 25
  5. theorem OAI.Paper092.approximation_support_uniform line 50
  6. theorem OAI.Paper092.approximation_normalized_tendsto line 67
  7. theorem OAI.Paper092.approximation_linear_image_volume_tendsto line 80
  8. theorem OAI.Paper092.exists_projectionBody_approximating_sequence line 98