DLMF:22.12.E2

From MaRDI portal