DLMF:1.9.E1

From MaRDI portal
Formula:241