Commit 2021-05-14 12:02 cc1690e3
View on Github →feat(analysis/calculus/parametric_integral): derivative of parametric integrals (#7437) from the sphere eversion project
feat(analysis/calculus/parametric_integral): derivative of parametric integrals (#7437) from the sphere eversion project