Formula:5669

From MaRDI portal