Library Exercise_3_2_1_8


Require Import Utf8.

Exercise 3.2.1.8

Section Exercise_3_2_1_8.

Problem

In Exercise 3.1.1.21 you classified the cyclic monoids. Which of them are groups?