DLMF:28.31#Ex7

From MaRDI portal
Formula:9212