feat(analysis/exponential): real powers #647
johoelzl
merged
11 commits into
leanprover-community:master
from
leanprover-fork:rpow
feat(
0432895f
Merge remote-tracking branch 'leanprover/master' into FTA1
9d80884c
feat(analysis/exponential): real powers
c6000d59
feat(data/equiv/algebra): ring equiv for mv_polynomial
cf0ca138
refactor(*): use decidable_linear_order.lift
e21bb2a5
fix build
e09ca87a
docs(tactic/monotonicity/interactive): fix `mono` documentation [ci-s…
483cb3f3
feat(data/complex/basic): of_real_fpow (#640)
6f5f0ac8
feat(analysis/exponential): real powers
1eb5ec8b
Merge branch 'rpow' of https://github.com/leanprover-community/mathli…
48aa4d94
feat(analysis/exponential): cpow_nat_inv_pow
fd86c909
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub