Theorem IsOpen.strictConvex_iff

Modification history