DLMF:28.31#Ex23

From MaRDI portal
Formula:9234