Theorem EuclideanGeometry.dist_affineCombination_const_sq

Modification history

2026-10-17 12:17
Mathlib/Geometry/Euclidean/Basic.lean
feat(Geometry/Euclidean): dist with affineCombination on one side (#44102) …
Added EuclideanGeometry.dist_affineCombination_const_sqView on Github →