mathlib3

7adef571 - feat(analysis/special_functions/trigonometric/angle): more `sin` and `cos` lemmas (#15945)

feat(analysis/special_functions/trigonometric/angle): more `sin` and `cos` lemmas (#15945) Add more lemmas about `real.angle.sin` and `real.angle.cos`, generally deduced from corresponding lemmas for `real.sin` and `real.cos`.