DLMF:17.8.E1

From MaRDI portal
Formula:6117