Formula:8064

From MaRDI portal