Theorem Complex.exp_neg_pi_div_two_mul_I

Modification history

2025-03-26 20:16
Mathlib/Analysis/SpecialFunctions/Trigonometric/Basic.lean
feature(Analysis/SpecialFunctions/Trigonometric/Basic): basic facts about complex numbers (#23165) …
Added Complex.exp_neg_pi_div_two_mul_IView on Github →