「f : R^n -> R^mがC^r級である」の定義ですが，fの成分関数の偏導関数がある条件を満たせばC^r級であるという定義です．
全微分についての条件じゃないことに違和感をおぼえます．