Theorem Complex.cpow_ne_zero_iff_of_exponent_ne_zero

Modification history

2025-01-27 10:18
Mathlib/Analysis/SpecialFunctions/Pow/Complex.lean
feat(NumberTheory/LSeries): results involving partial sums of coefficients (part 1) (#20661) …
Added Complex.cpow_ne_zero_iff_of_exponent_ne_zeroView on Github →