OAI/Geometry/CylinderCovering/Beams/NeighborhoodSimilarity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ShortenedBeam.regularTetrahedron_beam_similarity line 13
2. lemma OAI.ShortenedBeam.similarity_base_image line 26
3. lemma OAI.ShortenedBeam.similarity_base_compact line 32
4. lemma OAI.ShortenedBeam.similarity_rectangular line 38
5. theorem OAI.ShortenedBeam.neighborhoodFamilies_similarity line 45
6. theorem OAI.ShortenedBeam.regularNeighborhoodStatement line 63