Formula:4294

From MaRDI portal