dy=y'*dxが全微分じゃないですか？
それは割り算としての/によってdy/dx=y'と
掛けると同じことですよね。
すなわち全微分可能というのは割り算としての/と微分としての/が
同じ意味を持つことをあらわしているのではないのですか？