DLMF:1.5.E1

From MaRDI portal
Formula:89