Theorem hasLineDerivAt_iff_tendsto_slope_zero

Modification history