Finitary symmetric group of countable degree

From Groupprops