Commit 2022-01-24 16:03 a6318391
View on Github →feat(analysis/special_functions/pow): add nnreal variant of rpow_pos (#11619) This matches the lemma for ennreal.
feat(analysis/special_functions/pow): add nnreal variant of rpow_pos (#11619) This matches the lemma for ennreal.