Theorem subset_tangentConeAt_prod_right

Modification history