DLMF:18.33.E8

From MaRDI portal