Formula:7771

From MaRDI portal