lemmas for integrals on increasing set sequences #1629

Job	Run time
coq	47s
mathcomp-analysis-single	12m 57s
mathcomp	44s
mathcomp-classical	2m 32s
mathcomp-reals	2m 4s
mathcomp-reals-stdlib	1m 32s
mathcomp-analysis	11m 27s
mathcomp-experimental-reals	1m 49s
mathcomp-analysis-stdlib	1m 41s
ssprove	5m 55s
	41m 28s

Provide feedback