Theorem Convex.integral_mem

Modification history