convex_function generalized #5116

Job	Run time
rocq-elpi	55s
rocq-core	53s
stdlib	56s
coq-elpi	53s
coq	58s
hierarchy-builder	51s
mathcomp-bigenough	54s
mathcomp-finmap	54s
mathcomp	51s
mathcomp-analysis-single	18m 57s
mathcomp-classical	3m 7s
mathcomp-reals	4m 21s
mathcomp-analysis	16m 10s
mathcomp-experimental-reals	1m 58s
mathcomp-reals-stdlib	1m 31s
mathcomp-analysis-stdlib	1m 38s
	55m 47s

Provide feedback