lemmas for integrals on increasing set sequences #631

Job	Run time
coq	51s
mathcomp-classical	2m 39s
mathcomp-analysis-single	13m 3s
mathcomp-reals	1m 53s
mathcomp-analysis	11m 13s
mathcomp-experimental-reals	1m 51s
mathcomp-reals-stdlib	1m 36s
ssprove	5m 15s
mathcomp-analysis-stdlib	1m 43s
	40m 4s

Provide feedback