sigma-algebra generated by a function #5100

Job	Run time
rocq-elpi	58s
rocq-core	50s
stdlib	51s
coq	50s
coq-elpi	1m 0s
mathcomp-finmap	52s
mathcomp-bigenough	59s
hierarchy-builder	57s
mathcomp-analysis-single	18m 8s
mathcomp-classical	3m 23s
mathcomp	3m 16s
mathcomp-reals	2m 20s
mathcomp-analysis	16m 25s
mathcomp-experimental-reals	59s
mathcomp-reals-stdlib	53s
mathcomp-analysis-stdlib	16m 32s
	1h 9m 13s

Provide feedback