set of limit points is closed #714

Job	Run time
rocq-core	54s
coq	52s
mathcomp-analysis-single	18m 18s
mathcomp-classical	3m 15s
mathcomp-reals	2m 17s
mathcomp-reals-stdlib	1m 33s
mathcomp-experimental-reals	1m 57s
mathcomp-analysis	19m 50s
mathcomp-analysis-stdlib	18m 4s
mathcomp-infotheo	8m 31s
	1h 15m 31s

Provide feedback