DLMF:1.9#Ex22

From MaRDI portal
Formula:317