DLMF:23.18#Ex12

From MaRDI portal
Formula:8055