DLMF:23.18#Ex1

From MaRDI portal
Formula:8044