Formula:7701

From MaRDI portal