Theorem StrictConvex.smul_mem_of_zero_mem

Modification history