DLMF:3.12.E1

From MaRDI portal