DLMF:31.2#Ex9

From MaRDI portal
Formula:9682