DLMF:10.21#Ex31

From MaRDI portal
Formula:4021