Theorem StarConvex.inter

Modification history