多重線形代数をやろうとしたらテンソル積の一般論からやらなければ
ならない。
佐武だってこれはやってない。
ちゃんとやってるのはBourbakiくらい。