DLMF:10.12#Ex3

From MaRDI portal
Formula:3817