张量积形式的三个红利

类型definition-derivation(三条小推导,各以公式收尾)