independence, expectation of product #5038

Job	Run time
rocq-core	57s
rocq-elpi	1m 6s
coq-elpi	1m 34s
coq	49s
stdlib	50s
hierarchy-builder	54s
mathcomp-bigenough	58s
mathcomp-finmap	56s
mathcomp	58s
mathcomp-classical	3m 4s
mathcomp-analysis-single	17m 35s
mathcomp-reals	2m 14s
mathcomp-experimental-reals	3m 29s
mathcomp-analysis	16m 53s
mathcomp-reals-stdlib	2m 52s
mathcomp-analysis-stdlib	16m 51s
	1h 12m 0s

Provide feedback