DLMF:10.21#Ex28

From MaRDI portal
Formula:4015