Formula:5355

From MaRDI portal