Formula:10293

From MaRDI portal