SF2524: AM theory. part 2. Proof of the main convergence theorem

From Elias Jarlebring