Formula:7776

From MaRDI portal