DLMF:22.7.E7

From MaRDI portal