OAI/Geometry/CylinderCovering/Physical/LocalDictionary.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.RadialPhysical.halfheight_upperLocal_image line 11
  2. lemma OAI.RadialPhysical.halfheight_lowerLocal_image line 52
  3. lemma OAI.RadialPhysical.centered_upperLocal_image line 93
  4. lemma OAI.RadialPhysical.centered_lowerLocal_image line 130
  5. lemma OAI.RadialPhysical.upperPhysicalAxis_normalized line 167
  6. lemma OAI.RadialPhysical.lowerPhysicalAxis_normalized line 174
  7. lemma OAI.RadialPhysical.halfheight_upperBase_image line 181
  8. lemma OAI.RadialPhysical.halfheight_upperBase_area line 193
  9. lemma OAI.RadialPhysical.halfheight_lowerBase_image line 204
  10. lemma OAI.RadialPhysical.halfheight_lowerBase_area line 216
  11. lemma OAI.RadialPhysical.centered_upperBase_image line 227
  12. lemma OAI.RadialPhysical.centered_upperBase_area line 237
  13. lemma OAI.RadialPhysical.centered_lowerBase_image line 248
  14. lemma OAI.RadialPhysical.centered_lowerBase_area line 258
  15. lemma OAI.RadialPhysical.halfheight_actualCost_scale line 269
  16. lemma OAI.RadialPhysical.centered_actualCost_scale line 278
  17. lemma OAI.RadialPhysical.halfheight_upperCylinder_image line 287
  18. lemma OAI.RadialPhysical.halfheight_lowerCylinder_image line 298
  19. lemma OAI.RadialPhysical.centered_upperCylinder_image line 309
  20. lemma OAI.RadialPhysical.centered_lowerCylinder_image line 320