Formula:9952

From MaRDI portal