Tenjinの例題 微分幾何のオーバーロード

muses 具体例
  • \Omega^0(M) := \Gamma(M, M\times {\bf R}) if M\in |{\bf Man}|
  • \Omega^0(V) := \Gamma(M, M\times V) if V\in |{\bf Vect}|
  • \Omega^0(E) := \Gamma(M, E) if E\in |{\bf VectBdl}[M]|