DLMF:13.7.E5

From MaRDI portal