Theorem StrictConvex.mem_smul_of_zero_mem

Modification history