Theorem ImplicitFunctionData.left_map_implicitFunction

Modification history