DLMF:19.26#Ex12

From MaRDI portal
Formula:7277