convex_function generalized #5089

Job	Run time
rocq-core	46s
rocq-elpi	54s
stdlib	57s
coq	50s
coq-elpi	53s
mathcomp-bigenough	55s
mathcomp-finmap	1m 1s
hierarchy-builder	58s
mathcomp-classical	55s
mathcomp-analysis-single	18m 26s
mathcomp	1m 0s
mathcomp-reals	1m 5s
mathcomp-experimental-reals	1m 58s
mathcomp-analysis	16m 36s
mathcomp-reals-stdlib	1m 59s
mathcomp-analysis-stdlib	1m 49s
	51m 2s

Provide feedback