Formula:9886

From MaRDI portal