OAI/Geometry/CylinderCovering/Physical/Coordinates.lean

GitHub source file

34 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RadialPhysical.point_distance_squared line 10
2. theorem OAI.RadialPhysical.halfheight_distance line 18
3. theorem OAI.RadialPhysical.first_line_dictionary line 32
4. theorem OAI.RadialPhysical.second_line_dictionary line 44
5. theorem OAI.RadialPhysical.capPolynomial_angular_substitution line 55
6. theorem OAI.RadialPhysical.linearCap_dictionary line 60
7. theorem OAI.RadialPhysical.squareCap_dictionary line 67
8. theorem OAI.RadialPhysical.physical_speed_dictionary line 77
9. theorem OAI.RadialPhysical.scaledCost_dictionary line 85
10. theorem OAI.RadialPhysical.mapToCanonical_point line 112
11. theorem OAI.RadialPhysical.mapToCanonical_tetrahedron line 119
12. theorem OAI.RadialPhysical.scaled_table_rational_rows line 150
13. theorem OAI.RadialPhysical.scaled_cap_half_edge line 159
14. theorem OAI.RadialPhysical.scaled_table_sqrt_row line 164
15. theorem OAI.RadialPhysical.scaled_cap_sqrt_edge line 171
16. theorem OAI.RadialPhysical.centered_distance line 179
17. theorem OAI.RadialPhysical.nonorthPoint_distance_squared line 193
18. theorem OAI.RadialPhysical.nonorth_distance line 204
19. theorem OAI.RadialPhysical.orthonormal_height_dictionary line 215
20. theorem OAI.RadialPhysical.orthonormal_cubic_padding line 221
21. theorem OAI.RadialPhysical.orthonormal_error_margin line 229
22. theorem OAI.RadialPhysical.halfedge_alternative_cap line 233
23. theorem OAI.RadialPhysical.halfedge_quadratic_cost line 240
24. theorem OAI.RadialPhysical.centeredLinearCap_dictionary line 247
25. theorem OAI.RadialPhysical.centered_sqrt_cap line 253
26. theorem OAI.RadialPhysical.centered_quadratic_coefficient_neg line 262
27. theorem OAI.RadialPhysical.centeredCost_dictionary line 265
28. theorem OAI.RadialPhysical.mapCenteredToCanonical_point line 279
29. theorem OAI.RadialPhysical.mapCenteredToCanonical_tetrahedron line 286
30. theorem OAI.RadialPhysical.centered_first_line_dictionary line 311
31. theorem OAI.RadialPhysical.centered_second_line_dictionary line 321
32. theorem OAI.RadialPhysical.rpow_five_halves line 331
33. theorem OAI.RadialPhysical.centered_fractional_padding line 338
34. theorem OAI.RadialPhysical.physicalCoordinates_result line 352