DLMF:28.31#Ex12

From MaRDI portal
DLMF:28.31Ex12