Theorem subset_tangentCone_prod_left

Modification history