DLMF:23.18#Ex11

From MaRDI portal
Formula:8054