DLMF:8.8.E3

From MaRDI portal
Formula:3233