basic): rotation and negation lemmas (#17277)

Commit

3 years ago

feat(geometry/euclidean/angle/oriented/basic): rotation and negation lemmas (#17277) Add more lemmas about the interaction of rotation and negation.

Author

jsm28

Parents