DLMF:19.20#Ex28

From MaRDI portal
DLMF:19.20Ex28