mathlib
217308c9 - feat(analysis): `x^y` is smooth as a function of `(x, y)` (#8262)

Commit

4 years ago

feat(analysis): `x^y` is smooth as a function of `(x, y)` (#8262)

Author

urkud

urkud

Parents

Loading