DLMF:10.12#Ex8

From MaRDI portal
Formula:3823