feat(geometry/euclidean/angle/oriented/basic): rotation and negation lemmas (#17277)
feat(geometry/euclidean/angle/oriented/basic): rotation and negation lemmas (#17277)

Add more lemmas about the interaction of rotation and negation.







leanprover-community/mathlib,leanprover-community/mathlib