DLMF:32.8.E12

From MaRDI portal