This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
[Merged by Bors] - feat(analysis/special_functions/pow): Equivalent conditions for zero powers #9897
+35
−0