DLMF:10.21#Ex20

From MaRDI portal
Formula:4007