Commit 2023-05-16 00:23 4fa54b33
View on Github →chore(analysis/special_functions/pow): move around rpow/cpow tactics (#19022)
This PR splits up the code that implements norm_num and positivity for real / complex powers, and puts it into the files where those operations are defined, for easier discoverability.