pow): golf a proof (#13247)

Commit

3 years ago

chore(analysis/special_functions/pow): golf a proof (#13247) `complex.continuous_at_cpow_const` follows from `complex.continuous_at_cpow`.

Author

urkud

Parents