Generating the infinite symmetric group using a closed subgroup and the least number of other elements

From MaRDI portal