Theorem StarConvex.prod

Modification history