Theorem ImplicitFunctionData.prod_map_implicitFunction

Modification history