DLMF:19.26#Ex7

From MaRDI portal
Formula:7265