DLMF:13.7.E13

From MaRDI portal
Formula:5122