OAI/Geometry/CylinderCovering/Physical/FootprintRate.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CylinderCovering.Footprints.sum_affineArea_error_bound line 10
2. theorem OAI.CylinderCovering.PhysicalFootprints.physicalWeight_le_one line 40
3. theorem OAI.CylinderCovering.PhysicalFootprints.absolute_family_area_error line 46
4. theorem OAI.CylinderCovering.PhysicalFootprints.affine_family_area_error line 72
5. theorem OAI.CylinderCovering.PhysicalFootprints.absolute_equal_mesh_error line 99
6. theorem OAI.CylinderCovering.PhysicalFootprints.affine_equal_mesh_error line 117