DLMF:10.28.E2

From MaRDI portal