Formula:7733

From MaRDI portal