Formula:124

From MaRDI portal