Theorem starConvex_singleton

Modification history