Formula:770

From MaRDI portal