Theorem Convex.set_average_mem_closure

Modification history