DLMF:31.2#Ex7

From MaRDI portal
Formula:9679