Formula:8004

From MaRDI portal