OAI/Geometry/CylinderCovering/Beams/SectorGeometry.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CylinderCovering.BeamNeighborhood.sector_eq_signedSector line 12
2. theorem OAI.CylinderCovering.BeamNeighborhood.sector_eq_two_triangles line 16
3. theorem OAI.CylinderCovering.BeamNeighborhood.sector_area line 26
4. theorem OAI.CylinderCovering.BeamNeighborhood.sector_perimeters_le line 33
5. theorem OAI.CylinderCovering.BeamNeighborhood.sector_area_error line 47
6. lemma OAI.ShortenedBeam.doubleSector_eq_signedSectorModel line 64
7. theorem OAI.ShortenedBeam.doubleSector_area line 75