Theorem Convex.exists_mem_add_smul_eq

Modification history