Theorem mem_tangentConeAt_of_pow_smul

Modification history