Formula:10523

From MaRDI portal