Formula:5456

From MaRDI portal