DLMF:6.18#Ex1

From MaRDI portal
Formula:3013