Theorem eq_midpoint_of_dist_eq_half

Modification history

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