DLMF:1.9#Ex18

From MaRDI portal
Formula:308