Formula:9877

From MaRDI portal