Formula:507

From MaRDI portal