set of limit points is closed #639

Job	Run time
coq	49s
mathcomp-classical	2m 58s
mathcomp	49s
mathcomp-analysis-single	2m 12s
mathcomp-reals	2m 9s
mathcomp-reals-stdlib	1m 20s
mathcomp-analysis	15m 16s
mathcomp-experimental-reals	2m 2s
mathcomp-analysis-stdlib	15m 41s
ssprove	21m 11s
	1h 4m 27s

Provide feedback