DLMF:13.8.E2

From MaRDI portal