Formula:7363

From MaRDI portal