Formula:7943

From MaRDI portal