DLMF:35.8.E2

From MaRDI portal