Formula:7669

From MaRDI portal