oriented_angle): signs of angles and `same_ray` (#16909)

Commit

3 years ago

feat(geometry/euclidean/oriented_angle): signs of angles and `same_ray` (#16909) Add more lemmas about signs of angles in relation to the order of points on a line.

Author

jsm28

Parents

12edc988

mathlib b30449d6 - feat(geometry/euclidean/oriented_angle): signs of angles and `same_ray` (#16909)

mathlib
b30449d6 - feat(geometry/euclidean/oriented_angle): signs of angles and `same_ray` (#16909)