Commit 2022-10-11 03:45 abed0373
View on Github →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.