inline "cic:/CoRN/algebra/CSemiGroups/CSemiGroup_is_CSemiGroup.con".
inline "cic:/CoRN/algebra/CSemiGroups/plus_assoc.con".
(* UNEXPORTED
inline "cic:/CoRN/algebra/CSemiGroups/CSemiGroup_is_CSemiGroup.con".
inline "cic:/CoRN/algebra/CSemiGroups/plus_assoc.con".
(* UNEXPORTED