DLMF:28.31#Ex18

From MaRDI portal
DLMF:28.31Ex18