DLMF:23.18#Ex10

From MaRDI portal
Formula:8053