Commit 2021-01-22 12:52 0feb1d20
View on Github →feat(measure_theory/interval_integral) : add integration by parts (#5724) A direct application of FTC-2 for interval_integral.
feat(measure_theory/interval_integral) : add integration by parts (#5724) A direct application of FTC-2 for interval_integral.