set of limit points is closed #1526

Job	Run time
rocq-core	55s
coq	50s
mathcomp-classical	3m 17s
mathcomp-analysis-single	19m 7s
mathcomp-reals	4m 40s
mathcomp-experimental-reals	51s
mathcomp-analysis	16m 59s
mathcomp-reals-stdlib	1m 44s
mathcomp-analysis-stdlib	17m 42s
ssprove	24m 37s
mathcomp-infotheo	8m 53s
	1h 39m 35s

Provide feedback