Then the pullback Φ*F of F by Φ is a multilinear form on V defined by precomposing F with Φ.
则 F 由 Φ 的拉回 Φ*F 是一个 V 上的多重线性形式，定义为 F 与 Φ 的前复合。