DLMF:19.20#Ex12

From MaRDI portal
DLMF:19.20Ex12