Formula:7957

From MaRDI portal