Theorem Set.OrdConnected.starConvex

Modification history