Theorem strictConvex_empty

Modification history