Skip to main content

General help

Several (quite) different notions of groups?