DLMF:7.18#Ex1

From MaRDI portal
DLMF:7.18