OAI/Geometry/CylinderCovering/Barycentric/Correspondence.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.RadialCoordinates.firstSweepImagePoint_sum line 12
  2. theorem OAI.RadialCoordinates.firstSweepImagePoint_first line 15
  3. theorem OAI.RadialCoordinates.firstSweepImagePoint_second line 20
  4. theorem OAI.RadialCoordinates.firstSweepImagePoint_free line 25
  5. theorem OAI.RadialCoordinates.secondSweepImagePoint_sum line 30
  6. theorem OAI.RadialCoordinates.secondSweepImagePoint_third line 33
  7. theorem OAI.RadialCoordinates.secondSweepImagePoint_fourth line 38
  8. theorem OAI.RadialCoordinates.secondSweepImagePoint_free line 43
  9. theorem OAI.RadialCoordinates.firstSweepImagePoint_reconstruct line 48
  10. theorem OAI.RadialCoordinates.secondSweepImagePoint_reconstruct line 63
  11. theorem OAI.RadialCoordinates.firstSweep_eq_parametrizedImage line 81
  12. theorem OAI.RadialCoordinates.secondSweep_eq_parametrizedImage line 93
  13. theorem OAI.RadialCoordinates.firstSweepImagePoint_eq line 105
  14. theorem OAI.RadialCoordinates.secondSweepImagePoint_eq line 110
  15. theorem OAI.RadialCoordinates.firstSweepWithCap_eq_image line 115
  16. theorem OAI.RadialCoordinates.secondSweepWithCap_eq_image line 119
  17. theorem OAI.RadialCoordinates.firstSweep_canonical_dictionary line 123
  18. theorem OAI.RadialCoordinates.secondSweep_canonical_dictionary line 131
  19. theorem OAI.RadialCoordinates.cap_canonical_dictionary line 139
  20. theorem OAI.RadialCoordinates.speedSquared_canonical_dictionary line 144