forgetful functor from Grp to Set
1.
Definition
underlying-set functor
Date: nil
Author: Anton Zakrewski
Created: 2024-10-14 Mo 08:55