>>34
違う。
df っていうのは一次微分形式とか、余接ベクトルとか呼ばれるもの。
微分が分数として扱えるわけではない。