set of limit points is closed #1531

Job	Run time
rocq-core	53s
coq	47s
mathcomp-analysis-single	19m 10s
mathcomp-classical	3m 11s
mathcomp-reals	2m 15s
mathcomp-reals-stdlib	1m 43s
mathcomp-experimental-reals	2m 2s
mathcomp-analysis	17m 6s
mathcomp-analysis-stdlib	1m 48s
ssprove	8m 16s
mathcomp-infotheo	8m 58s
	1h 6m 9s

Provide feedback