Rintegral manipulation lemmas#2037

amolinamounier wants to merge 1 commit into

math-comp:mastermath-comp/analysis:masterfrom

amolinamounier:rintegral_manipamolinamounier/mathcomp-analysis:rintegral_manipCopy head branch name to clipboard