Lemmas for functions bounded on a range#2028

amolinamounier wants to merge 2 commits into

math-comp:mastermath-comp/analysis:masterfrom

amolinamounier:bounded_rangeamolinamounier/mathcomp-analysis:bounded_rangeCopy head branch name to clipboard