DLMF:4.22.E1

From MaRDI portal
Formula:1977