>>122
>微分形式側の定義や操作を修正しなくて済むのかどうか
意図していることが分からないから何とも言えないが
軽量は後付だからそっち側をどう定義するか考えてたら良いだけじゃないの？