set of limit points is closed #678

Job	Run time
rocq-core	49s
coq	48s
mathcomp-analysis-single	15m 22s
mathcomp-classical	2m 39s
mathcomp-reals	2m 2s
mathcomp-experimental-reals	3m 4s
mathcomp-analysis	14m 22s
mathcomp-reals-stdlib	2m 40s
mathcomp-analysis-stdlib	13m 53s
mathcomp-infotheo	6m 56s
	1h 2m 35s

Provide feedback