set of limit points is closed #716

Job	Run time
rocq-core	47s
coq	52s
mathcomp-analysis-single	18m 48s
mathcomp-classical	54s
mathcomp-reals	54s
mathcomp-reals-stdlib	1m 37s
mathcomp-analysis	47s
mathcomp-experimental-reals	50s
mathcomp-analysis-stdlib	1m 48s
mathcomp-infotheo	10m 37s
	37m 54s

Provide feedback