OAI/Geometry/CylinderCovering/Radial/Freezing.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RadialFreezing.collar_gt_radial line 7
2. theorem OAI.RadialFreezing.collar_length_pos line 11
3. theorem OAI.RadialFreezing.footprint_subset_triangle line 17
4. theorem OAI.RadialFreezing.footprint_of_transverse_error line 38
5. theorem OAI.RadialFreezing.intercept_subset_triangle line 50