Theorem lineDifferentiableWithinAt_smul_iff

Modification history