Formula:509

From MaRDI portal