Formula:447

From MaRDI portal