Commit 2020-11-18 23:23 2de8db42
View on Github →feat(analysis/special_functions/pow): prove measurability of rpow for ennreal (#5026) Prove measurability of rpow for an ennreal argument. Also shorten the proof in the real case.
feat(analysis/special_functions/pow): prove measurability of rpow for ennreal (#5026) Prove measurability of rpow for an ennreal argument. Also shorten the proof in the real case.