Theorem HasStrictFDerivAt.approximates_deriv_on_open_nhds

Modification history