DLMF:10.21#Ex32

From MaRDI portal
Formula:4022