pow): Equivalent conditions for zero powers (#9897)

Commit

4 years ago

feat(analysis/special_functions/pow): Equivalent conditions for zero powers (#9897) Lemmas for 0^x in the reals and complex numbers.

Author

Smaug123

Parents