DLMF:10.5.E2

From MaRDI portal