DLMF:10.21#Ex57

From MaRDI portal
Formula:4066