DLMF:1.9#Ex24

From MaRDI portal
Formula:320