Formula:841

From MaRDI portal