A mean ergodic theorem.

From MaRDI portal
Publication:2594553