DLMF:1.9#Ex15

From MaRDI portal
Formula:303