a few small generalizations #1265

Job	Run time
rocq-core	56s
coq	57s
mathcomp-analysis-single	14m 9s
mathcomp-classical	2m 43s
mathcomp-reals	4m 6s
mathcomp-analysis	12m 18s
mathcomp-experimental-reals	1m 55s
mathcomp-reals-stdlib	1m 37s
mathcomp-analysis-stdlib	1m 49s
ssprove	6m 42s
	47m 12s

Provide feedback