OAI/Geometry/CylinderCovering/Angular/CartesianFailure.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.AngularCartesianValidation.cartesian_failure_displacement line 7
2. theorem OAI.AngularCartesianValidation.cartesian_squared_failures_impossible line 65
3. theorem OAI.AngularCartesianValidation.cartesian_squared_lower_of_sqrt line 109
4. theorem OAI.AngularCartesianValidation.cartesian_sqrt_failures_impossible line 118
5. theorem OAI.AngularCartesianValidation.cartesian_edge_one_obstruction line 133