DLMF:13.7.E10

From MaRDI portal