Formula:7883

From MaRDI portal