DLMF:7.2#Ex1

From MaRDI portal
Formula:3022