DLMF:35.6.E9

From MaRDI portal