Formula:359

From MaRDI portal