Theorem ImplicitFunctionData.right_map_implicitFunction

Modification history