DLMF:14.7.E10

From MaRDI portal