OAI/Geometry/CylinderCovering/Physical/Coverage.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CylinderCovering.UnitEdgeFootprints.cap_dictionary line 14
2. theorem OAI.CylinderCovering.UnitEdgeFootprints.source_coverage line 28
3. theorem OAI.CylinderCovering.UnitEdgeFootprints.finite_strict_of_coverage line 90
4. lemma OAI.CylinderCovering.UnitEdgeFootprints.tetrahedron_similarity line 109
5. theorem OAI.CylinderCovering.UnitEdgeFootprints.minimum_area line 143
6. theorem OAI.CylinderCovering.UnitEdgeFootprints.full_unit_edge line 154