OAI/Geometry/CylinderCovering/Convexity/RegularSimilarityBasis.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CylinderCovering.RegularSimilarity.exists_isometry_map_basis line 11
2. theorem OAI.CylinderCovering.RegularSimilarity.exists_isometry_map_affineBasis line 35
3. theorem OAI.CylinderCovering.RegularSimilarity.exists_similarity_map_affineBasis line 66
4. theorem OAI.CylinderCovering.RegularSimilarity.regularTetrahedron_similarity line 85