Formula:7777

From MaRDI portal