Theorem Convex.set_average_mem

Modification history