IteratedMultPoint.lib

From MaRDI portal