OAI/Geometry/CylinderCovering/Angular/Table.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.AngularTable.reciprocal_square line 8
  2. lemma OAI.AngularTable.midpointFour_cost line 11
  3. lemma OAI.AngularTable.midpointOne_cost line 18
  4. lemma OAI.AngularTable.midpointTwo_cost line 24
  5. lemma OAI.AngularTable.continuousTwo_cost line 31
  6. lemma OAI.AngularTable.squaredTwo_cost line 37
  7. lemma OAI.AngularTable.maximumOne_cost line 44
  8. lemma OAI.AngularTable.cartesianThreeQuarters_cost line 51
  9. lemma OAI.AngularTable.cartesianOne_cost line 57
  10. lemma OAI.AngularTable.mesh_le_of_inverse_size line 64
  11. lemma OAI.AngularTable.ceil_inverse_mesh line 78
  12. lemma OAI.AngularTable.midpointFour_mesh line 82
  13. lemma OAI.AngularTable.midpointOne_mesh line 93
  14. lemma OAI.AngularTable.midpointTwo_mesh line 98
  15. lemma OAI.AngularTable.continuousTwo_mesh line 108
  16. lemma OAI.AngularTable.squaredTwo_mesh line 113
  17. lemma OAI.AngularTable.maximumOne_mesh line 123
  18. lemma OAI.AngularTable.cartesianThreeQuarters_mesh line 133
  19. lemma OAI.AngularTable.cartesianOne_mesh line 144
  20. lemma OAI.AngularTable.squaredTwo_family_cost line 154
  21. lemma OAI.AngularTable.cartesianThreeQuarters_family_cost line 162
  22. lemma OAI.AngularTable.remainder_rescale line 168
  23. lemma OAI.AngularTable.margins_admissible line 172