mathlib

abed0373 - feat(geometry/euclidean/oriented_angle): collinearity and affine independence (#16822)

feat(geometry/euclidean/oriented_angle): collinearity and affine independence (#16822) Add two lemmas relating the oriented angle between three points to those points being collinear or affinely independent.