DLMF:15.11.E2

From MaRDI portal