Formula:8177

From MaRDI portal