exponential): real powers of nnreals
#2164

Merged

feat(analysis/complex/exponential): real powers of nnreals #2164

mergify merged 8 commits into master from nnrpow

feat(analysis/complex/exponential): real powers of nnreals

152fd28d

cleanup

631cb852

mean inequalities in nnreal

66c9f9d4

Merge remote-tracking branch 'upstream/master' into nnrpow

7ac66f8d

kim-em added awaiting-author

mean inequalities

6f5c9a80

sgouezel removed awaiting-author

sgouezel added awaiting-review

kim-em commented on 2020-03-15

use < instead of >

7f28070b

urkud commented on 2020-03-16

reviewer's comments

f24f1a22

cipher1024 assigned

urkud 6 years ago

urkud approved these changes on 2020-03-18

urkud removed awaiting-review

urkud added ready-to-merge

Merge branch 'master' into nnrpow

33b6ee18

mergify merged 739e831f into master 6 years ago

mergify deleted the nnrpow branch 6 years ago

Reviewers

urkud

kim-em

Assignees

urkud

Labels

ready-to-merge

Milestone

No milestone