DLMF:9.8#Ex1

From MaRDI portal
DLMF:9.8