sigma-algebra generated by a function #53

Job	Run time
rocq-core	46s
coq	47s
mathcomp	48s
mathcomp-classical	3m 8s
mathcomp-analysis-single	14m 20s
mathcomp-reals	50s
mathcomp-experimental-reals	49s
mathcomp-analysis	12m 42s
mathcomp-reals-stdlib	58s
ssprove	6m 39s
mathcomp-analysis-stdlib	52s
mathcomp-infotheo	7m 9s
	49m 48s

Provide feedback