DLMF:1.12.E23

From MaRDI portal
Formula:425