Formula:1023

From MaRDI portal