Theorem dist_add_dist_eq_iff

Modification history

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