DLMF:1.9#Ex25

From MaRDI portal
Formula:321