Formula:7655

From MaRDI portal