2.5.E25

From MaRDI portal
Formula:771