Formula:4612

From MaRDI portal