DLMF:30.6#Ex1

From MaRDI portal
DLMF:30.6