Formula:5394

From MaRDI portal