DLMF:5.4#Ex1

From MaRDI portal
Formula:2553