Theorem subset_tangentCone_prod_right

Modification history