DLMF:20.11.E2

From MaRDI portal