DLMF:10.21#Ex42

From MaRDI portal
Formula:4040