DLMF:10.21#Ex23

From MaRDI portal
Formula:4010