Formula:7926

From MaRDI portal