Quelle  semifp.gd   Sprache: unbekannt

#############################################################################
##
##  attributes/semifp.gd
##  Copyright (C) 2022                                      James Mitchell
##
##  Licensing information can be found in the README file of this package.
##
#############################################################################
##

DeclareAttribute("AntiIsomorphismDualFpSemigroup", IsFpSemigroup);
DeclareAttribute("AntiIsomorphismDualFpMonoid", IsFpMonoid);