Formula:10532

From MaRDI portal