“…Using the idea of [LRSW22] to define the wedge product of pushforwards currents with the fibre product, Theorem 3.5 implies a monotone continuity result for the recursively defined mixed products: Corollary 3.6. For i = 1,..,t, let π i : X i → Y be proper holomorphic submersions between complex manifolds X i and Y with m i -dimensional fibres, let θ i be closed γ i -positive (1, 1)currents on X i for (positive) (1, 1)-forms γ i on X i such that for any small enough open V ⊂ Y , there are closed positive (1, 1)-forms γ i,+ and α i,± with γ i ≤ γ i,+ and α i,+ − α i,− ∈ {θ i } ∂∂ on π −1 i (V ) (for example, the fibres of π i are Kähler).…”