Formula:9674

From MaRDI portal