Theorem ConvexOn.map_average_le

Modification history