Formula:8092

From MaRDI portal