DLMF:32.7.E9

From MaRDI portal