DLMF:35.6.E7

From MaRDI portal