Theorem Complex.cpow_natCast_add_one_ne_zero

Modification history

2025-01-02 18:44
Mathlib/Analysis/SpecialFunctions/Pow/Complex.lean
chore(Analysis/SpecialFunctions/Pow/Complex): fix lemma name (#20406)
Deleted Complex.cpow_natCast_add_one_ne_zeroView on Github →
2025-01-02 11:03
Mathlib/Analysis/SpecialFunctions/Pow/Complex.lean
feat(NumberTheory/LSeries/Injectivity): new file (#20370) …
Added Complex.cpow_natCast_add_one_ne_zeroView on Github →