DLMF:11.7.E2

From MaRDI portal