Formula:7715

From MaRDI portal