DLMF:23.5.E7

From MaRDI portal