Merge pull request #1878 from proux01/fix-import #19

Job	Run time
rocq-core	55s
coq	51s
mathcomp	50s
mathcomp-classical	2m 39s
mathcomp-analysis-single	17m 16s
mathcomp-reals	2m 2s
mathcomp-reals-stdlib	1m 29s
mathcomp-experimental-reals	1m 51s
mathcomp-analysis	13m 21s
ssprove	9m 59s
mathcomp-analysis-stdlib	1m 40s
mathcomp-infotheo	6m 49s
	59m 42s

Provide feedback