DLMF:10.21#Ex34

From MaRDI portal
Formula:4024