Convergent multiples of convergent operators

From MaRDI portal