Formula:7388

From MaRDI portal