Commit 2024-04-13 10:35 51eea185
View on Github →feat: generalize integration by parts (#11886)
Give versions with weaker conditions for intervalIntegrable.integral_deriv_mul_eq_sub, intervalIntegrable.integral_mul_deriv_eq_deriv_mul and fourierCoeffOn_of_hasDerivAt.