DLMF:22.18#Ex3

From MaRDI portal
Formula:7863