DLMF:8.13.E1

From MaRDI portal
Formula:3331