almost everywhere equality #4080

Job	Run time
coq	2m 2s
coq-elpi	1m 23s
mathcomp-finmap	1m 23s
mathcomp-bigenough	1m 23s
stdlib	3m 31s
hierarchy-builder	49s
mathcomp	1m 10s
mathcomp-classical	0s
mathcomp-reals	0s
mathcomp-experimental-reals	0s
mathcomp-analysis	0s
mathcomp-reals-stdlib	-1s
mathcomp-analysis-single	-1s
mathcomp-analysis-stdlib	-1s
	11m 38s

Provide feedback