Formula:7703

From MaRDI portal