Formula:6480

From MaRDI portal