DLMF:32.8.E10

From MaRDI portal