Formula:6054

From MaRDI portal