DLMF:22.6.E12

From MaRDI portal