1. カテゴリーなし

p56 定義 m 次元 Cr 級多様体 M 上の関数 f : M → R が Cs 級関数で