DLMF:10.43.E7

From MaRDI portal