Formula:6453

From MaRDI portal