DLMF:5.13.E3

From MaRDI portal
Formula:2858