DLMF:4.10.E2

From MaRDI portal