mathlib3
054b4676 - feat(analysis/calculus): derivatives of `f : E → Π i, F i` (#6075)

Commit

5 years ago

feat(analysis/calculus): derivatives of `f : E → Π i, F i` (#6075)

Author

urkud

urkud

Parents

Loading