Formula:513

From MaRDI portal