mathlib

f94b0b31 - style(analysis/special_functions/trigonometric/angle): make types of `sin` and `cos` explicit (#11902)

style(analysis/special_functions/trigonometric/angle): make types of `sin` and `cos` explicit (#11902) Give the types of the results of `real.angle.sin` and `real.angle.cos` explicitly, as requested by @eric-wieser in #11887.