DLMF:25.11.E25

From MaRDI portal