DLMF:22.8.E12

From MaRDI portal