Formula:7657

From MaRDI portal