Theorem hasFDerivAt_of_tendstoLocallyUniformlyOn

Modification history