OAI/Geometry/CylinderCovering/Radial/Assembly.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CylinderCovering.RadialSweep.velocity_difference_integral line 18
2. lemma OAI.CylinderCovering.RadialSweep.scalar_le_bound line 34
3. lemma OAI.CylinderCovering.RadialSweep.cell_midpoint_bound line 38
4. lemma OAI.CylinderCovering.RadialSweep.frozenTriangle_eq line 46
5. theorem OAI.CylinderCovering.RadialSweep.localSweep_frozen_enclosure line 54
6. lemma OAI.CylinderCovering.RadialSweep.direction_ne_zero line 93
7. lemma OAI.CylinderCovering.RadialSweep.direction_unit line 97
8. lemma OAI.CylinderCovering.RadialSweep.frozen_nondegenerate line 101
9. def OAI.CylinderCovering.RadialSweep.frozenCylinder line 115
10. lemma OAI.CylinderCovering.RadialSweep.frozenCylinder_axis line 122
11. lemma OAI.CylinderCovering.RadialSweep.frozenCylinder_base line 126
12. lemma OAI.CylinderCovering.RadialSweep.frozenCylinder_area line 130
13. lemma OAI.CylinderCovering.RadialSweep.localSweep_mem_frozenCylinder line 150
14. lemma OAI.CylinderCovering.RadialSweep.localSweep_subset_sweep line 160
15. lemma OAI.CylinderCovering.RadialSweep.sweep_eq_iUnion_localSweep line 165
16. theorem OAI.CylinderCovering.RadialSweep.aligned_radial_sweep line 175