sigma-algebra generated by a function #1523

Job	Run time
rocq-core	45s
coq	50s
mathcomp-classical	3m 17s
mathcomp-analysis-single	19m 43s
mathcomp-reals	51s
mathcomp-experimental-reals	47s
mathcomp-reals-stdlib	53s
mathcomp-analysis	18m 49s
mathcomp-analysis-stdlib	1m 53s
ssprove	8m 5s
mathcomp-infotheo	9m 3s
	1h 4m 56s

Provide feedback