DLMF:10.60.E7

From MaRDI portal