OAI/Geometry/CylinderCovering/Physical/CapFinite.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.RadialPhysical.physical_family_of_sweep_cover line 15
  2. theorem OAI.RadialPhysical.PhysicalFamilyConclusion.eventually_strict line 53
  3. lemma OAI.RadialPhysical.capChoice_continuous line 66
  4. lemma OAI.RadialPhysical.capChoice_nonneg line 74
  5. lemma OAI.RadialPhysical.physicalModelCap_continuous line 83
  6. lemma OAI.RadialPhysical.physicalModelCap_nonneg line 89
  7. lemma OAI.RadialPhysical.centered_linearCap_eq_double line 95
  8. theorem OAI.RadialPhysical.eventually_physicalModelCap_covers line 101
  9. lemma OAI.RadialPhysical.scaledCost_double line 117
  10. theorem OAI.RadialPhysical.eventually_physicalModelCap_strict line 128
  11. theorem OAI.RadialPhysical.physical_cap_coverage line 145
  12. theorem OAI.RadialPhysical.physical_cap_finite line 155