Formula:7172

From MaRDI portal