Formula:7724

From MaRDI portal