Theorem subset_tangentConeAt_prod_left

Modification history