Theorem ConcaveOn.le_map_average

Modification history