DLMF:15.8.E4

From MaRDI portal
Formula:5758