DLMF:28.31#Ex17

From MaRDI portal
Formula:9225