Commit 2026-11-10 22:59 5da5aec4

feat(Analysis/Complex): (a * b) ^ r = a ^ r * b ^ r (#45726) Add formulas for (a * b) ^ r for any complex numbers a, b and r. The existing Complex.mul_cpow_ofReal_nonneg and natCast_mul_natCast_cpow etc can be relaxed to only require nonnegative real on one side, but such generalization will change the statement and the deprecation impact is pretty wide, so I left it out of this PR and plan a follow up