Formula:7315

From MaRDI portal