set of limit points is closed #1470

Job	Run time
rocq-core	51s
coq	48s
mathcomp-classical	3m 26s
mathcomp-analysis-single	14m 18s
mathcomp-reals	2m 1s
mathcomp-experimental-reals	1m 41s
mathcomp-reals-stdlib	1m 25s
mathcomp-analysis	12m 10s
mathcomp-analysis-stdlib	1m 36s
ssprove	6m 14s
mathcomp-infotheo	6m 52s
	51m 22s

Provide feedback