Formula:6046

From MaRDI portal