Theorem StrictConvex.affinity

Modification history