Formula:7342

From MaRDI portal