avoid name clash #4841

Job	Run time
rocq-core	1m 1s
rocq-elpi	1m 0s
coq-elpi	58s
coq	1m 3s
stdlib	59s
hierarchy-builder	56s
mathcomp-bigenough	1m 8s
mathcomp-finmap	58s
mathcomp	1m 7s
mathcomp-classical	3m 3s
mathcomp-analysis-single	17m 18s
mathcomp-reals	2m 12s
mathcomp-reals-stdlib	1m 42s
mathcomp-experimental-reals	1m 56s
mathcomp-analysis	14m 40s
mathcomp-analysis-stdlib	2m 26s
	52m 27s

Provide feedback