DLMF:23.5#Ex3

From MaRDI portal
Formula:7922