DLMF:10.16#Ex3

From MaRDI portal
Formula:3856