giry monad is symmetric monoidal (wip) #603

Job	Run time
coq	53s
mathcomp-analysis-single	16m 51s
mathcomp	50s
mathcomp-classical	2m 52s
mathcomp-reals	4m 6s
mathcomp-reals-stdlib	1m 22s
mathcomp-analysis	14m 54s
mathcomp-experimental-reals	1m 59s
mathcomp-analysis-stdlib	2m 25s
ssprove	8m 29s
	54m 41s

Provide feedback