DLMF:28.31#Ex22

From MaRDI portal
Formula:9233