DLMF:14.24.E2

From MaRDI portal