OAI/Geometry/CylinderCovering/Beams/ShortenedBeamStrip.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ShortenedBeam.strip_subset_generic line 11
2. lemma OAI.ShortenedBeam.width_continuous line 24
3. lemma OAI.ShortenedBeam.half_drift_continuous line 28
4. lemma OAI.ShortenedBeam.strip_integrand_identity line 32
5. theorem OAI.ShortenedBeam.finite_strip_actual line 43
6. theorem OAI.ShortenedBeam.finite_strip_normalized line 60