giry monad is symmetric monoidal (wip) #622

Job	Run time
rocq-core	50s
coq	42s
mathcomp-analysis-single	14m 27s
mathcomp-classical	2m 35s
mathcomp-reals	1m 59s
mathcomp-analysis	14m 9s
mathcomp-experimental-reals	2m 53s
mathcomp-reals-stdlib	2m 43s
mathcomp-analysis-stdlib	13m 13s
mathcomp-infotheo	6m 59s
	1h 0m 30s

Provide feedback