Theorem HasStrictDerivAt.of_local_left_inverse

Modification history