Mathlib v3 is deprecated. Go to Mathlib v4

Theorem complex.cos_add_sin_mul_I_pow

Modification history

2021-01-30 14:50
src/data/complex/exponential.lean
chore(*): split some long lines (#5959)
Modified complex.cos_add_sin_mul_I_powView on Github →
2019-02-23 11:37
src/data/complex/exponential.lean
feat(*): polar co-ordinates, de moivre, trig identities, quotient group for angles (#745) …
Added complex.cos_add_sin_mul_I_powView on Github →