Commit 2024-06-11 07:52 8b88570d
View on Github →chore: move cpow_mul_ofReal_nonneg earlier (#13700)
It can't go into Pow.Complex
, because rpow
is only defined in Pow.Real
in terms of cpow
.
chore: move cpow_mul_ofReal_nonneg earlier (#13700)
It can't go into Pow.Complex
, because rpow
is only defined in Pow.Real
in terms of cpow
.