mathlib3

216cbc49 - feat(analysis/special_functions/trigonometric): simp attributes for trig values (#4806)