Theorem HasStrictFDerivAt.to_implicitFunctionOfComplemented

Modification history