OAI/Geometry/CylinderCovering/Beams/Coverage.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.ShortenedBeam.radial_representation_nonneg_shift line 8
  2. theorem OAI.ShortenedBeam.radial_representation line 56
  3. theorem OAI.ShortenedBeam.coordinate_representation line 67
  4. theorem OAI.ShortenedBeam.transverse_bounds line 84
  5. theorem OAI.ShortenedBeam.outside_left_representation line 115
  6. theorem OAI.ShortenedBeam.coordinate_coverage line 130
  7. theorem OAI.ShortenedBeam.tetrahedron_covered line 158
  8. theorem OAI.ShortenedBeam.beamMinus_isCompact line 166
  9. theorem OAI.ShortenedBeam.beamPlus_isCompact line 191