Commit 2022-12-06 20:53 2af8cec7
View on Github →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.
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.