An abstract averaging theorem (Q1228086)

From MaRDI portal