Formula:6476

From MaRDI portal