Theorem ImplicitFunctionData.implicitFunction_apply_image

Modification history