mathlib

2af8cec7 - feat(geometry/euclidean/angle/unoriented/affine): collinearity lemma (#17634)

feat(geometry/euclidean/angle/unoriented/affine): collinearity lemma (#17634) Add an `iff` condition for collinearity of three points in terms of the unoriented angle between them.