DLMF:36.12.E9

From MaRDI portal