DLMF:10.7.E2

From MaRDI portal