Formula:8354

From MaRDI portal