DLMF:30.3#Ex7

From MaRDI portal
Formula:9528