mathlib3
c192937f - feat(analysis): derivative of a parametric interval integral (#10404)

Commit

4 years ago

feat(analysis): derivative of a parametric interval integral (#10404)

Author

urkud

urkud

Parents

Loading