Formula:7920

From MaRDI portal