Theorem nnreal.measurable_rpow
Modification history
2021-02-13 07:17
src/analysis/special_functions/pow.lean
chore(analysis/special_functions/pow): review lemmas about measurability of `cpow`/`rpow` (#6209) …
Deleted nnreal.measurable_rpowView on Github →