DLMF:21.2.E2

From MaRDI portal