Formula:7664

From MaRDI portal