DLMF:28.20#Ex7

From MaRDI portal
Formula:9051