set of limit points is closed #719

Job	Run time
rocq-core	53s
coq	48s
mathcomp-classical	3m 8s
mathcomp-analysis-single	18m 31s
mathcomp-reals	2m 13s
mathcomp-reals-stdlib	1m 33s
mathcomp-experimental-reals	1m 57s
mathcomp-analysis	16m 46s
mathcomp-analysis-stdlib	17m 4s
mathcomp-infotheo	8m 39s
	1h 11m 32s

Provide feedback