Theorem Complex.cpow_int_mul

Modification history

2023-11-03 06:27

Mathlib/Analysis/SpecialFunctions/Pow/Complex.lean

feat(SpecialFunctions/Pow): prove `cpow_int_mul` etc (#7942) …

Added Complex.cpow_int_mul View on Github →