DLMF:23.18#Ex7

From MaRDI portal
Formula:8050