DLMF:18.15.E2

From MaRDI portal