Theorem Convex.mem_smul_of_zero_mem

Modification history