Theorem ImplicitFunctionData.prodFun_apply

Modification history