Theorem Complex.natCast_add_one_cpow_ne_zero

Modification history

2025-01-02 18:44

Mathlib/Analysis/SpecialFunctions/Pow/Complex.lean

chore(Analysis/SpecialFunctions/Pow/Complex): fix lemma name (#20406)

Added Complex.natCast_add_one_cpow_ne_zero View on Github →