DLMF:14.12.E9

From MaRDI portal