DLMF:19.24#Ex7

From MaRDI portal
Formula:7194