Commit 2021-12-28 20:56 f11d3ca2

feat(analysis/special_functions/pow): rpow as an order_iso (#10831) Bundles rpow into an order isomorphism on ennreal when the exponent is a fixed positive real.

• depends on: #10701