DLMF:8.12#Ex7

From MaRDI portal
Formula:3303