3.4.E7

From MaRDI portal