Formula:3128

From MaRDI portal