Theorem StrictConvex.add_smul_sub_mem

Modification history