Frozen-generator product approximation

For a partition $s=t_0<\cdots <t_N=t$, the frozen-generator approximation isUnder the hypotheses of the nonautonomous generation theorem, these products converge strongly and uniformly on compact time triangles to the evolution family.