Theorem starConvex_iInter

Modification history