DLMF:8.12#Ex15

From MaRDI portal
Formula:3314