Tensor product
定义就和通常的微分形式一样，只不过实数乘法为张量积取代：