Theorem HasStrictFDerivAt.implicitToLocalHomeomorphOfComplemented_apply_ker

Modification history