2.5.E5

From MaRDI portal
Formula:751