Formula:7120

From MaRDI portal