DLMF:14.6.E8

From MaRDI portal