Formula:7554

From MaRDI portal