missing near lemma #4477

Job	Run time
rocq-elpi	50s
rocq-core	46s
coq	43s
coq-elpi	44s
stdlib	46s
mathcomp-bigenough	52s
mathcomp-finmap	46s
hierarchy-builder	49s
mathcomp-classical	2m 57s
mathcomp	53s
mathcomp-analysis-single	16m 36s
mathcomp-reals	2m 8s
mathcomp-analysis	14m 32s
mathcomp-reals-stdlib	1m 41s
mathcomp-experimental-reals	2m 0s
mathcomp-analysis-stdlib	1m 41s
	48m 44s

Provide feedback