Theorem HasStrictFDerivAt.approximates_deriv_on_nhds

Modification history