Formula:7958

From MaRDI portal