OAI/Geometry/CylinderCovering/Physical/Paired.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CylinderCovering.UnitEdgeFootprints.translation line 14
2. def OAI.CylinderCovering.UnitEdgeFootprints.reflectionIsometry line 16
3. lemma OAI.CylinderCovering.UnitEdgeFootprints.similarity_map_eq line 30
4. lemma OAI.CylinderCovering.UnitEdgeFootprints.sourceCap_neg line 36
5. lemma OAI.CylinderCovering.UnitEdgeFootprints.reflection_representedPoint line 41
6. theorem OAI.CylinderCovering.UnitEdgeFootprints.secondSweep_eq line 46
7. lemma OAI.CylinderCovering.UnitEdgeFootprints.transported_base_eq line 58
8. theorem OAI.CylinderCovering.UnitEdgeFootprints.paired_family_realization line 71