Formula:8456

From MaRDI portal