DLMF:1.9#Ex21

From MaRDI portal
Formula:313