DLMF:13.6.E2

From MaRDI portal