DLMF:1.12#Ex12

From MaRDI portal
Formula:422