DLMF:1.4.E5

From MaRDI portal
Formula:53