set of limit points is closed #1528

Job	Run time
rocq-core	51s
coq	54s
mathcomp-classical	50s
mathcomp-analysis-single	20m 2s
mathcomp-reals	50s
mathcomp-reals-stdlib	1m 43s
mathcomp-experimental-reals	52s
mathcomp-analysis	17m 13s
mathcomp-analysis-stdlib	17m 47s
ssprove	23m 49s
mathcomp-infotheo	50s
	1h 25m 41s

Provide feedback