Formula:9689

From MaRDI portal