1. カテゴリーなし

⊳ ［m 次元 C∞-多様体の定義］ 位相空間 M が次の 3 条件を満たすとき