set of limit points is closed #1527

Job	Run time
rocq-core	56s
coq	48s
mathcomp-analysis-single	19m 38s
mathcomp-classical	3m 21s
mathcomp-reals	2m 20s
mathcomp-experimental-reals	5m 26s
mathcomp-reals-stdlib	1m 44s
mathcomp-analysis	17m 38s
ssprove	25m 3s
mathcomp-analysis-stdlib	18m 11s
mathcomp-infotheo	9m 3s
	1h 44m 8s

Provide feedback