\GAPDocLabFile{groupoids}
\makelabel{groupoids:Title page}{}{X7D2C85EC87DD46E5}
\makelabel{groupoids:Abstract}{}{X7AA6C5737B711C89}
\makelabel{groupoids:Copyright}{}{X81488B807F2A1CF1}
\makelabel{groupoids:Acknowledgements}{}{X82A988D47DFAFCFA}
\makelabel{groupoids:Table of Contents}{}{X8537FEB07AF2BEC8}
\makelabel{groupoids:Introduction}{1}{X7DFB63A97E67C0A1}
\makelabel{groupoids:Many-object structures}{2}{X8361CEA4856430C6}
\makelabel{groupoids:Magmas with objects; arrows}{2.1}{X7920BF45828AE5DE}
\makelabel{groupoids:Semigroups with objects}{2.2}{X7FDF94E8791B9BC1}
\makelabel{groupoids:Monoids with objects}{2.3}{X86C32E6981557ED0}
\makelabel{groupoids:Generators of magmas with objects}{2.4}{X842D1B0C7A76CC15}
\makelabel{groupoids:Structures with more than one piece}{2.5}{X7C7007207FD91BB0}
\makelabel{groupoids:Mappings of many-object structures}{3}{X78FC7902804CED8E}
\makelabel{groupoids:Homomorphisms of magmas with objects}{3.1}{X82F856A086B93832}
\makelabel{groupoids:Homomorphisms of semigroups and monoids with objects}{3.2}{X7C4D1AEE80D41A35}
\makelabel{groupoids:Homomorphisms to more than one piece}{3.3}{X795C8DE37AED7B44}
\makelabel{groupoids:Mappings defined by a function}{3.4}{X7B9D71BB7BAEFAAA}
\makelabel{groupoids:Groupoids}{4}{X82F6A1AB798648F4}
\makelabel{groupoids:Groupoids: their properties and attributes}{4.1}{X7AC321DC7E3C6167}
\makelabel{groupoids:Groupoid elements; stars; costars; homsets}{4.2}{X7F23BE3F85C9BA06}
\makelabel{groupoids:Subgroupoids}{4.3}{X7BDBA72C852C4625}
\makelabel{groupoids:Left, right and double cosets}{4.4}{X831AA9E8780235F2}
\makelabel{groupoids:Conjugation}{4.5}{X8653FC9786E3209A}
\makelabel{groupoids:Groupoids formed using isomorphisms}{4.6}{X86DD749283068705}
\makelabel{groupoids:Groupoids whose objects form a monoid}{4.7}{X795DEB3D825B2120}
\makelabel{groupoids:Homomorphisms of Groupoids}{5}{X879ED2A7878B5A7A}
\makelabel{groupoids:Homomorphisms from a connected groupoid}{5.1}{X85D28690823636CD}
\makelabel{groupoids:Properties and attributes of groupoid homomorphisms}{5.2}{X7BFF46FD8308846F}
\makelabel{groupoids:Properties of a groupoid homomorphism}{5.2.1}{X83DDA9528396451A}
\makelabel{groupoids:Attributes of a groupoid homomorphism}{5.2.2}{X870565948381B921}
\makelabel{groupoids:Special types of groupoid homomorphism}{5.3}{X7DBC80D8817CDA04}
\makelabel{groupoids:Homomorphisms to a connected groupoid}{5.4}{X7EAAB2A97E097FB6}
\makelabel{groupoids:Homomorphisms to more than one piece}{5.5}{X795C8DE37AED7B44}
\makelabel{groupoids:Automorphisms of groupoids}{5.6}{X803E01577A2B37D2}
\makelabel{groupoids:Automorphisms of a groupoid with rays}{5.6.2}{X8278B93E7F78038C}
\makelabel{groupoids:Inner automorphisms}{5.6.4}{X7EC237ED7E1978B0}
\makelabel{groupoids:Matrix representations of groupoids}{5.7}{X8003AF117B956D16}
\makelabel{groupoids:Graphs of Groups and Groupoids}{6}{X78063DC8847554B4}
\makelabel{groupoids:Digraphs}{6.1}{X7D554C5D7FDC3D02}
\makelabel{groupoids:Graphs of Groups}{6.2}{X7BAFCA3680E478AE}
\makelabel{groupoids:Words in a Graph of Groups and their normal forms}{6.3}{X7BD9DCF87FB3E0AF}
\makelabel{groupoids:Free products with amalgamation and HNN extensions}{6.4}{X7D99A7B37B36BAA8}
\makelabel{groupoids:GraphsOfGroupoids and their Words}{6.5}{X78108FB4814AE887}
\makelabel{groupoids:Technical Notes}{7}{X7F2BA6DC7AD84FBC}
\makelabel{groupoids:Many object structures}{7.1}{X7C5B725A7AED3C8D}
\makelabel{groupoids:Many object homomorphisms}{7.2}{X7A4760E887C9C968}
\makelabel{groupoids:Development History}{8}{X810C43BC7F63C4B4}
\makelabel{groupoids:Versions of the Package}{8.1}{X8192EA4C7B7CC5CD}
\makelabel{groupoids:What needs to be done next?}{8.2}{X82148FB77CC3CCC0}
\makelabel{groupoids:Bibliography}{Bib}{X7A6F98FD85F02BFE}
\makelabel{groupoids:References}{Bib}{X7A6F98FD85F02BFE}
\makelabel{groupoids:Index}{Ind}{X83A0356F839C696F}
\makelabel{groupoids:MagmaWithObjects}{2.1.1}{X7C51D7847BD23284}
\makelabel{groupoids:SinglePieceMagmaWithObjects}{2.1.1}{X7C51D7847BD23284}
\makelabel{groupoids:ObjectList for magmas with objects}{2.1.1}{X7C51D7847BD23284}
\makelabel{groupoids:RootObject for magmas with objects}{2.1.1}{X7C51D7847BD23284}
\makelabel{groupoids:IsDomainWithObjects}{2.1.2}{X87D1C0BC86749E6D}
\makelabel{groupoids:IsMagmaWithObjects}{2.1.2}{X87D1C0BC86749E6D}
\makelabel{groupoids:Arrow}{2.1.3}{X86247DFC8242CEBE}
\makelabel{groupoids:ElementOfArrow for magmas with objects}{2.1.3}{X86247DFC8242CEBE}
\makelabel{groupoids:TailOfArrow for magmas with objects}{2.1.3}{X86247DFC8242CEBE}
\makelabel{groupoids:HeadOfArrow for magmas with objects}{2.1.3}{X86247DFC8242CEBE}
\makelabel{groupoids:IsMultiplicativeElementWithObjects}{2.1.3}{X86247DFC8242CEBE}
\makelabel{groupoids:IsSinglePieceDomain}{2.1.4}{X7B3352148103FD05}
\makelabel{groupoids:IsSinglePiece}{2.1.4}{X7B3352148103FD05}
\makelabel{groupoids:IsDirectProductWithCompleteDigraph}{2.1.4}{X7B3352148103FD05}
\makelabel{groupoids:IsDiscreteMagmaWithObjects}{2.1.4}{X7B3352148103FD05}
\makelabel{groupoids:SemigroupWithObjects}{2.2.1}{X8519787D833653A7}
\makelabel{groupoids:SinglePieceSemigroupWithObjects}{2.2.1}{X8519787D833653A7}
\makelabel{groupoids:DomainWithSingleObject for semigroups}{2.2.1}{X8519787D833653A7}
\makelabel{groupoids:MonoidWithObjects}{2.3.1}{X7A271B1A7F2FF245}
\makelabel{groupoids:SinglePieceMonoidWithObjects}{2.3.1}{X7A271B1A7F2FF245}
\makelabel{groupoids:GeneratorsOfMagmaWithObjects}{2.4.1}{X83239B307EE95054}
\makelabel{groupoids:GeneratorsOfSemigroupWithObjects}{2.4.1}{X83239B307EE95054}
\makelabel{groupoids:GeneratorsOfMonoidWithObjects}{2.4.1}{X83239B307EE95054}
\makelabel{groupoids:UnionOfPieces for magmas with objects}{2.5.1}{X781FB06382E08115}
\makelabel{groupoids:Pieces for magmas with objects}{2.5.1}{X781FB06382E08115}
\makelabel{groupoids:PieceOfObject}{2.5.1}{X781FB06382E08115}
\makelabel{groupoids:MagmaWithObjectsHomomorphism}{3.1.1}{X86E00FEA7FF38FEA}
\makelabel{groupoids:HomomorphismFromSinglePiece}{3.1.1}{X86E00FEA7FF38FEA}
\makelabel{groupoids:HomomorphismToSinglePiece for magmas with objects}{3.1.1}{X86E00FEA7FF38FEA}
\makelabel{groupoids:MappingToSinglePieceData for magmas with objects}{3.1.1}{X86E00FEA7FF38FEA}
\makelabel{groupoids:PiecesOfMapping}{3.1.1}{X86E00FEA7FF38FEA}
\makelabel{groupoids:IsomorphismNewObjects for magmas with objects}{3.1.1}{X86E00FEA7FF38FEA}
\makelabel{groupoids:IsMappingToSinglePieceRep}{3.1.1}{X86E00FEA7FF38FEA}
\makelabel{groupoids:Source}{3.1.1}{X86E00FEA7FF38FEA}
\makelabel{groupoids:Range}{3.1.1}{X86E00FEA7FF38FEA}
\makelabel{groupoids:HomomorphismByUnion for magmas with objects}{3.3.1}{X7AE44D9485EB50F1}
\makelabel{groupoids:IsInjectiveOnObjects}{3.3.2}{X7C053B0379DDCE13}
\makelabel{groupoids:IsSurjectiveOnObjects}{3.3.2}{X7C053B0379DDCE13}
\makelabel{groupoids:IsBijectiveOnObjects}{3.3.2}{X7C053B0379DDCE13}
\makelabel{groupoids:IsEndomorphismWithObjects}{3.3.2}{X7C053B0379DDCE13}
\makelabel{groupoids:IsAutomorphismWithObjects}{3.3.2}{X7C053B0379DDCE13}
\makelabel{groupoids:MappingWithObjectsByFunction}{3.4.1}{X81B64F9A855D265F}
\makelabel{groupoids:IsMappingWithObjectsByFunction}{3.4.1}{X81B64F9A855D265F}
\makelabel{groupoids:UnderlyingFunction}{3.4.1}{X81B64F9A855D265F}
\makelabel{groupoids:}{4}{X82F6A1AB798648F4}
\makelabel{groupoids:SinglePieceGroupoid}{4.1.1}{X8406913B7ED86CFE}
\makelabel{groupoids:Groupoid}{4.1.1}{X8406913B7ED86CFE}
\makelabel{groupoids:DomainWithSingleObject for groups}{4.1.1}{X8406913B7ED86CFE}
\makelabel{groupoids:standard groupoid}{4.1.1}{X8406913B7ED86CFE}
\makelabel{groupoids:ObjectList for groupoids}{4.1.2}{X813B084184AAA890}
\makelabel{groupoids:RootObject for groupoids}{4.1.2}{X813B084184AAA890}
\makelabel{groupoids:RootGroup}{4.1.2}{X813B084184AAA890}
\makelabel{groupoids:ObjectGroup}{4.1.2}{X813B084184AAA890}
\makelabel{groupoids:IsPermGroupoid}{4.1.3}{X8511D3EE845CC930}
\makelabel{groupoids:IsPcGroupoid}{4.1.3}{X8511D3EE845CC930}
\makelabel{groupoids:IsFpGroupoid}{4.1.3}{X8511D3EE845CC930}
\makelabel{groupoids:IsMatrixGroupoid}{4.1.3}{X8511D3EE845CC930}
\makelabel{groupoids:IsFreeGroupoid}{4.1.3}{X8511D3EE845CC930}
\makelabel{groupoids:UnionOfPieces for groupoids}{4.1.4}{X8681D15C7CA15F87}
\makelabel{groupoids:Pieces for groupoids}{4.1.4}{X8681D15C7CA15F87}
\makelabel{groupoids:Size}{4.1.4}{X8681D15C7CA15F87}
\makelabel{groupoids:ReplaceOnePieceInUnion}{4.1.4}{X8681D15C7CA15F87}
\makelabel{groupoids:ObjectList for groupoids}{4.1.4}{X8681D15C7CA15F87}
\makelabel{groupoids:HomogeneousGroupoid}{4.1.5}{X855F318181808814}
\makelabel{groupoids:HomogeneousDiscreteGroupoid}{4.1.5}{X855F318181808814}
\makelabel{groupoids:PieceIsomorphisms}{4.1.5}{X855F318181808814}
\makelabel{groupoids:IsHomogeneousDomainWithObjects}{4.1.5}{X855F318181808814}
\makelabel{groupoids:IsHomogeneousDiscreteGroupoidRep}{4.1.5}{X855F318181808814}
\makelabel{groupoids:DirectProductOp}{4.1.6}{X78E8FE0C7F599F5A}
\makelabel{groupoids:Projection}{4.1.6}{X78E8FE0C7F599F5A}
\makelabel{groupoids:Embedding}{4.1.6}{X78E8FE0C7F599F5A}
\makelabel{groupoids:GroupoidElement}{4.2.1}{X7D028B3B8385ED07}
\makelabel{groupoids:ElementOfArrow for groupoids}{4.2.1}{X7D028B3B8385ED07}
\makelabel{groupoids:TailOfArrow for groupoids}{4.2.1}{X7D028B3B8385ED07}
\makelabel{groupoids:HeadOfArrow for groupoids}{4.2.1}{X7D028B3B8385ED07}
\makelabel{groupoids:Arrow for groupoid elements}{4.2.1}{X7D028B3B8385ED07}
\makelabel{groupoids:IdentityArrow}{4.2.2}{X78C3228682279032}
\makelabel{groupoids:inverse arrow}{4.2.2}{X78C3228682279032}
\makelabel{groupoids:Order}{4.2.3}{X84F59A2687C62763}
\makelabel{groupoids:loop}{4.2.3}{X84F59A2687C62763}
\makelabel{groupoids:ObjectStar}{4.2.4}{X7B561BAE7D471C60}
\makelabel{groupoids:ObjectCostar}{4.2.4}{X7B561BAE7D471C60}
\makelabel{groupoids:Homset}{4.2.4}{X7B561BAE7D471C60}
\makelabel{groupoids:}{4.2.4}{X7B561BAE7D471C60}
\makelabel{groupoids:}{4.2.4}{X7B561BAE7D471C60}
\makelabel{groupoids:Subgroupoid}{4.3.1}{X80780D287EDDB7BB}
\makelabel{groupoids:IsSubgroupoid}{4.3.1}{X80780D287EDDB7BB}
\makelabel{groupoids:IsWideSubgroupoid}{4.3.1}{X80780D287EDDB7BB}
\makelabel{groupoids:SubgroupoidWithRays}{4.3.2}{X873E0914871858E8}
\makelabel{groupoids:RaysOfGroupoid}{4.3.2}{X873E0914871858E8}
\makelabel{groupoids:RayArrowsOfGroupoid}{4.3.2}{X873E0914871858E8}
\makelabel{groupoids:SubgroupoidByObjects}{4.3.3}{X8600FA7B8051C9AC}
\makelabel{groupoids:SubgroupoidBySubgroup}{4.3.3}{X8600FA7B8051C9AC}
\makelabel{groupoids:SubgroupoidByPieces}{4.3.4}{X7AEA9BF780CD6957}
\makelabel{groupoids:FullTrivialSubgroupoid}{4.3.5}{X7FE8F09A7C8CEC5B}
\makelabel{groupoids:DiscreteTrivialSubgroupoid}{4.3.5}{X7FE8F09A7C8CEC5B}
\makelabel{groupoids:trivial subgroupoid}{4.3.5}{X7FE8F09A7C8CEC5B}
\makelabel{groupoids:tree groupoid}{4.3.5}{X7FE8F09A7C8CEC5B}
\makelabel{groupoids:identity subgroupoid}{4.3.5}{X7FE8F09A7C8CEC5B}
\makelabel{groupoids:DiscreteSubgroupoid}{4.3.6}{X7ACFBE7D855A82A3}
\makelabel{groupoids:MaximalDiscreteSubgroupoid}{4.3.6}{X7ACFBE7D855A82A3}
\makelabel{groupoids:SinglePieceSubgroupoidByGenerators}{4.3.7}{X7A9F29BD7D64DCC1}
\makelabel{groupoids:}{4.4}{X831AA9E8780235F2}
\makelabel{groupoids:}{4.4}{X831AA9E8780235F2}
\makelabel{groupoids:RightCoset}{4.4.1}{X8412ABD57986B9FC}
\makelabel{groupoids:RightCosetRepresentatives}{4.4.1}{X8412ABD57986B9FC}
\makelabel{groupoids:RightCosets}{4.4.1}{X8412ABD57986B9FC}
\makelabel{groupoids:LeftCoset}{4.4.1}{X8412ABD57986B9FC}
\makelabel{groupoids:LeftCosetRepresentatives}{4.4.1}{X8412ABD57986B9FC}
\makelabel{groupoids:LeftCosetRepresentativesFromObject}{4.4.1}{X8412ABD57986B9FC}
\makelabel{groupoids:LeftCosets}{4.4.1}{X8412ABD57986B9FC}
\makelabel{groupoids:DoubleCoset}{4.4.1}{X8412ABD57986B9FC}
\makelabel{groupoids:DoubleCosetRepresentatives}{4.4.1}{X8412ABD57986B9FC}
\makelabel{groupoids:DoubleCosets}{4.4.1}{X8412ABD57986B9FC}
\makelabel{groupoids:ConjugateGroupoid}{4.5.2}{X78218F357BFEDE82}
\makelabel{groupoids:GroupoidByIsomorphisms}{4.6.1}{X7B066DE28574A768}
\makelabel{groupoids:IsGroupoidByIsomorphisms}{4.6.1}{X7B066DE28574A768}
\makelabel{groupoids:SinglePieceGroupoidWithRays}{4.7.1}{X805FA9F687C7F2A7}
\makelabel{groupoids:RightActionGroupoid}{4.7.2}{X7E399664868937C8}
\makelabel{groupoids:IsGroupoidWithMonoidObjects}{4.7.2}{X7E399664868937C8}
\makelabel{groupoids:GroupoidHomomorphismFromSinglePiece}{5.1.1}{X870288C6803D9005}
\makelabel{groupoids:GroupoidHomomorphism}{5.1.1}{X870288C6803D9005}
\makelabel{groupoids:MappingToSinglePieceData for groupoids}{5.1.1}{X870288C6803D9005}
\makelabel{groupoids:for groupoid homomorphisms}{5.2.1}{X83DDA9528396451A}
\makelabel{groupoids:for groupoid homomorphisms}{5.2.1}{X83DDA9528396451A}
\makelabel{groupoids:for groupoid homomorphisms}{5.2.1}{X83DDA9528396451A}
\makelabel{groupoids:for groupoid homomorphisms}{5.2.1}{X83DDA9528396451A}
\makelabel{groupoids:for groupoid homomorphisms}{5.2.1}{X83DDA9528396451A}
\makelabel{groupoids:for groupoid homomorphisms}{5.2.1}{X83DDA9528396451A}
\makelabel{groupoids:for groupoid homomorphisms}{5.2.1}{X83DDA9528396451A}
\makelabel{groupoids:RootGroupHomomorphism}{5.2.3}{X85A99D8A83511DDE}
\makelabel{groupoids:ImagesOfObjects}{5.2.4}{X837EEB9578EA1A78}
\makelabel{groupoids:ImageElementsOfRays}{5.2.5}{X791DC3F3852A6422}
\makelabel{groupoids:ObjectGroupHomomorphism}{5.2.6}{X7C6775A178DB9D39}
\makelabel{groupoids:InclusionMappingGroupoids}{5.3.1}{X855DB6C8815CDCC3}
\makelabel{groupoids:RestrictedMappingGroupoids}{5.3.2}{X7946BC207D455A98}
\makelabel{groupoids:ParentMappingGroupoids}{5.3.2}{X7946BC207D455A98}
\makelabel{groupoids:IsomorphismNewObjects for groupoids}{5.3.3}{X83B8AB6D7C9DB264}
\makelabel{groupoids:IsomorphismStandardGroupoid}{5.3.4}{X87C54BB581181400}
\makelabel{groupoids:IsomorphismPermGroupoid}{5.3.5}{X7CF33CCD8278A904}
\makelabel{groupoids:IsomorphismPcGroupoid}{5.3.5}{X7CF33CCD8278A904}
\makelabel{groupoids:HomomorphismToSinglePiece for groupoids}{5.4.1}{X8700B5977B2513C1}
\makelabel{groupoids:IdentityMapping}{5.4.1}{X8700B5977B2513C1}
\makelabel{groupoids:GroupoidHomomorphismFromHomogeneousDiscrete}{5.4.2}{X87225D86785DEBC2}
\makelabel{groupoids:HomomorphismByUnion for groupoids}{5.5.1}{X847094F478113EA6}
\makelabel{groupoids:IsomorphismGroupoids}{5.5.2}{X7E2C6BCC7AAB25BE}
\makelabel{groupoids:GroupoidAutomorphismByObjectPerm}{5.6.1}{X79DA704A8051CB72}
\makelabel{groupoids:GroupoidAutomorphismByGroupAuto}{5.6.1}{X79DA704A8051CB72}
\makelabel{groupoids:GroupoidAutomorphismByRayShifts}{5.6.1}{X79DA704A8051CB72}
\makelabel{groupoids:GroupoidInnerAutomorphism}{5.6.1}{X79DA704A8051CB72}
\makelabel{groupoids:inner automorphism}{5.6.1}{X79DA704A8051CB72}
\makelabel{groupoids:AutomorphismGroupOfGroupoid}{5.6.3}{X7DB9D5737EB8C260}
\makelabel{groupoids:NiceObjectAutoGroupGroupoid}{5.6.3}{X7DB9D5737EB8C260}
\makelabel{groupoids:AutomorphismGroup}{5.6.3}{X7DB9D5737EB8C260}
\makelabel{groupoids:inner automorphism group}{5.6.4}{X7EC237ED7E1978B0}
\makelabel{groupoids:GroupoidAutomorphismByGroupAutos}{5.6.5}{X80F9594481CA9FDE}
\makelabel{groupoids:AutomorphismGroupoidOfGroupoid}{5.6.6}{X7A93C6507BC697CD}
\makelabel{groupoids:matrix representation}{5.7}{X8003AF117B956D16}
\makelabel{groupoids:representation by matrices}{5.7}{X8003AF117B956D16}
\makelabel{groupoids:FpWeightedDigraph}{6.1.1}{X85BD6D2584D8A22F}
\makelabel{groupoids:IsFpWeightedDigraph}{6.1.1}{X85BD6D2584D8A22F}
\makelabel{groupoids:InvolutoryArcs}{6.1.1}{X85BD6D2584D8A22F}
\makelabel{groupoids:GraphOfGroups}{6.2.1}{X8130246E854BC5D9}
\makelabel{groupoids:DigraphOfGraphOfGroups}{6.2.1}{X8130246E854BC5D9}
\makelabel{groupoids:GroupsOfGraphOfGroups}{6.2.1}{X8130246E854BC5D9}
\makelabel{groupoids:IsomorphismsOfGraphOfGroups}{6.2.1}{X8130246E854BC5D9}
\makelabel{groupoids:IsGraphOfFpGroups}{6.2.2}{X847464677F641527}
\makelabel{groupoids:IsGraphOfPcGroups}{6.2.2}{X847464677F641527}
\makelabel{groupoids:IsGraphOfPermGroups}{6.2.2}{X847464677F641527}
\makelabel{groupoids:RightTransversalsOfGraphOfGroups}{6.2.3}{X7B036C2B84E48BB1}
\makelabel{groupoids:LeftTransversalsOfGraphOfGroups}{6.2.3}{X7B036C2B84E48BB1}
\makelabel{groupoids:GraphOfGroupsWord}{6.3.1}{X87937AE47C5B1018}
\makelabel{groupoids:IsGraphOfGroupsWord}{6.3.1}{X87937AE47C5B1018}
\makelabel{groupoids:GraphOfGroupsOfWord}{6.3.1}{X87937AE47C5B1018}
\makelabel{groupoids:WordOfGraphOfGroupsWord}{6.3.1}{X87937AE47C5B1018}
\makelabel{groupoids:TailOfGraphOfGroupsWord}{6.3.1}{X87937AE47C5B1018}
\makelabel{groupoids:HeadOfGraphOfGroupsWord}{6.3.1}{X87937AE47C5B1018}
\makelabel{groupoids:ReducedGraphOfGroupsWord}{6.3.2}{X78FA7C3F831AA6E4}
\makelabel{groupoids:IsReducedGraphOfGroupsWord}{6.3.2}{X78FA7C3F831AA6E4}
\makelabel{groupoids:FreeProductWithAmalgamation}{6.4.1}{X795AB71F7E370119}
\makelabel{groupoids:FreeProductWithAmalgamationInfo}{6.4.1}{X795AB71F7E370119}
\makelabel{groupoids:IsFreeProductWithAmalgamation}{6.4.1}{X795AB71F7E370119}
\makelabel{groupoids:GraphOfGroupsRewritingSystem}{6.4.1}{X795AB71F7E370119}
\makelabel{groupoids:NormalFormGGRWS}{6.4.1}{X795AB71F7E370119}
\makelabel{groupoids:ReducedImageElm}{6.4.2}{X86F5F9787E3644FD}
\makelabel{groupoids:IsMappingToGroupWithGGRWS}{6.4.2}{X86F5F9787E3644FD}
\makelabel{groupoids:Embedding}{6.4.2}{X86F5F9787E3644FD}
\makelabel{groupoids:HnnExtension}{6.4.3}{X7CB0F120804A8DED}
\makelabel{groupoids:HnnExtensionInfo}{6.4.3}{X7CB0F120804A8DED}
\makelabel{groupoids:IsHnnExtension}{6.4.3}{X7CB0F120804A8DED}
\makelabel{groupoids:GraphOfGroupoids}{6.5.1}{X8739267678808E85}
\makelabel{groupoids:IsGraphOfPermGroupoids}{6.5.1}{X8739267678808E85}
\makelabel{groupoids:IsGraphOfFpGroupoids}{6.5.1}{X8739267678808E85}
\makelabel{groupoids:GroupoidsOfGraphOfGroupoids}{6.5.1}{X8739267678808E85}
\makelabel{groupoids:DigraphOfGraphOfGroupoids}{6.5.1}{X8739267678808E85}
\makelabel{groupoids:SubgroupoidsOfGraphOfGroupoids}{6.5.1}{X8739267678808E85}
\makelabel{groupoids:IsomorphismsOfGraphOfGroupoids}{6.5.1}{X8739267678808E85}
\makelabel{groupoids:RightTransversalsOfGraphOfGroupoids}{6.5.1}{X8739267678808E85}
\makelabel{groupoids:LeftTransversalsOfGraphOfGroupoids}{6.5.1}{X8739267678808E85}
\makelabel{groupoids:GraphOfGroupoidsWord}{6.5.2}{X7EC1A9067FC91255}
\makelabel{groupoids:IsGraphOfGroupoidsWord}{6.5.2}{X7EC1A9067FC91255}
\makelabel{groupoids:GraphOfGroupoidsOfWord}{6.5.2}{X7EC1A9067FC91255}
\makelabel{groupoids:WordOfGraphOfGroupoidsWord}{6.5.2}{X7EC1A9067FC91255}
\makelabel{groupoids:ReducedGraphOfGroupoidsWord}{6.5.2}{X7EC1A9067FC91255}
\makelabel{groupoids:IsReducedGraphOfGroupoidsWord}{6.5.2}{X7EC1A9067FC91255}
