Formula:8762

From MaRDI portal