I'm trying to understand Theorem 1.1 in Limit laws for random matrix products. It states that a specific product of random matrices converges to a set matrix but I don't know which kind of convergence of random variables is meant here. Is it almost sure or even sure convergence?
Thanks in advance.