Theorem Monotone.convex_ge

Modification history