OAI/Geometry/CylinderCovering/Convexity/RegularSimplexSimilarity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RegularSimplexSimilarity.basis_isometry_of_gram line 13
2. theorem OAI.RegularSimplexSimilarity.affine_basis_congruence line 36
3. theorem OAI.RegularSimplexSimilarity.simplex_congruence line 60
4. theorem OAI.RegularSimplexSimilarity.simplex_similarity line 72
5. theorem OAI.RegularSimplexSimilarity.simplex_similarity_hull line 90
6. theorem OAI.RegularSimplexSimilarity.regular_simplex_similarity line 108