Theorem Isometry.affineIsometryOfStrictConvexSpace_apply

Modification history

2023-10-26 14:48
Mathlib/Analysis/Convex/StrictConvexBetween.lean
feat: Flat triangles have aligned vertices (#7733) …
Modified Isometry.affineIsometryOfStrictConvexSpace_applyView on Github →
2023-05-20 10:39
Mathlib/Analysis/Convex/StrictConvexSpace.lean
feat: port Analysis.Convex.StrictConvexSpace (#4120)
Added Isometry.affineIsometryOfStrictConvexSpace_applyView on Github →