DLMF:1.11#Ex15

From MaRDI portal
Formula:378