lemmas for integrals on increasing set sequences #4206

Job	Run time
rocq-core	51s
coq	47s
rocq-elpi	52s
mathcomp-bigenough	56s
coq-elpi	52s
stdlib	52s
mathcomp-finmap	56s
hierarchy-builder	48s
mathcomp-analysis-single	15m 57s
mathcomp	57s
mathcomp-classical	3m 15s
mathcomp-reals	51s
mathcomp-experimental-reals	1m 52s
mathcomp-reals-stdlib	1m 40s
	31m 26s

Provide feedback