Formula:9079

From MaRDI portal