sigma-algebra generated by a function #710

Job	Run time
rocq-core	53s
coq	56s
mathcomp-analysis-single	18m 22s
mathcomp-classical	3m 29s
mathcomp-reals	2m 14s
mathcomp-reals-stdlib	4m 52s
mathcomp-analysis	19m 29s
mathcomp-experimental-reals	5m 4s
mathcomp-analysis-stdlib	17m 0s
mathcomp-infotheo	8m 36s
	1h 20m 55s

Provide feedback