DLMF:1.11#Ex17

From MaRDI portal
Formula:382