DLMF:1.11#Ex16

From MaRDI portal
Formula:381