DLMF:1.2.E20

From MaRDI portal
Formula:22