Formula:129

From MaRDI portal