OAI/Geometry/TranslativeCovering/CapGeometry.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CapGeometry.halfcap line 25
  2. lemma OAI.CapGeometry.halfcap_open line 28
  3. lemma OAI.CapGeometry.halfcap_measurable line 31
  4. lemma OAI.CapGeometry.halfcap_positive line 34
  5. lemma OAI.CapGeometry.halfcap_equal_norm line 40
  6. def OAI.CapGeometry.axis line 51
  7. lemma OAI.CapGeometry.axis_inner line 54
  8. lemma OAI.CapGeometry.cone_eq line 57
  9. lemma OAI.CapGeometry.halfcap_eq_cone line 81
  10. lemma OAI.CapGeometry.halfcap_comparison line 89
  11. def OAI.CapGeometry.radial line 105
  12. def OAI.CapGeometry.axial line 106
  13. lemma OAI.CapGeometry.parameters line 108
  14. lemma OAI.CapGeometry.log_parameters line 134
  15. lemma OAI.CapGeometry.halfcap_ratio line 190