Theorem hasFDerivWithinAt_comp_smul_iff_smul

Modification history