Theorem Complex.sin_add_sin

Modification history

2024-05-28 13:39
Mathlib/Data/Complex/Exponential.lean
feat: index Chebyshev polynomials by integers instead of natural numbers (#13133)
Added Complex.sin_add_sinView on Github →