measurability for tuples #1625

Job	Run time
coq	44s
mathcomp	44s
mathcomp-analysis-single	12m 57s
mathcomp-classical	2m 28s
mathcomp-reals	2m 17s
mathcomp-analysis	12m 48s
mathcomp-experimental-reals	3m 14s
mathcomp-reals-stdlib	2m 48s
mathcomp-analysis-stdlib	12m 26s
ssprove	16m 18s
	1h 6m 44s

Provide feedback