DLMF:19.18#Ex1

From MaRDI portal
DLMF:19.18