DLMF:28.20#Ex9

From MaRDI portal
Formula:9053