DLMF:26.12#Ex7

From MaRDI portal
Formula:8637