3.7#Ex17

From MaRDI portal