OAI/Geometry/CylinderCovering/Radial/SectorWeighted.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.AngularCaps.radialBandParameters_eq_image line 11
2. theorem OAI.AngularCaps.isCompact_radialBandParameters line 23
3. theorem OAI.AngularCaps.isCompact_radialBand line 31
4. theorem OAI.AngularCaps.radialBand_integral_change line 36
5. theorem OAI.AngularCaps.weighted_radialBandParameters_integral line 54
6. theorem OAI.AngularCaps.radialBand_weighted_integral line 92
7. theorem OAI.AngularCaps.radialBand_weighted_le_full line 101