DLMF:32.10.E10

From MaRDI portal