DLMF:7.17#Ex5

From MaRDI portal
Formula:3145