DLMF:10.38.E7

From MaRDI portal