DLMF:23.6.E30

From MaRDI portal