DLMF:35.2.E2

From MaRDI portal