DLMF:32.6.E10

From MaRDI portal