Formula:8365

From MaRDI portal