DLMF:24.8.E8

From MaRDI portal