Theorem strictConvex_iff_ordConnected

Modification history