Theorem StrictConvex.neg

Modification history