DLMF:5.12.E9

From MaRDI portal