cos_add_sin_mul_I_pow — Mathlib · SciLib

∫ Утверждение Mathlib

cos_add_sin_mul_I_pow

Mathlib.Analysis.Complex.Trigonometric

URI: https://scilib.ai/kg/mathlib#Complex.cos_add_sin_mul_I_pow

← MathLib Explorer