Theorem eq_lineMap_of_dist_eq_mul_of_dist_eq_mul

Modification history

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