DLMF:1.2.E23

From MaRDI portal
Formula:25