Formula:10592

From MaRDI portal