Theorem Isometry.coe_affineIsometryOfStrictConvexSpace

Modification history

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