mathlib3

6bc0c198 - feat(geometry/euclidean/angle/unoriented/right_angle): trigonometric lemmas (#17173)