DLMF:7.13#Ex1

From MaRDI portal
Formula:3117