DLMF:14.17.E2

From MaRDI portal