Formula:7987

From MaRDI portal