Theorem StrictConvexOn.eq_of_le_map_sum

Modification history