Quelle  manual.lab   Sprache: unbekannt

\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}{6}{X803E01577A2B37D2}
\makelabel{groupoids:Automorphisms of single piece groupoids}{6.1}{X7935832881320667}
\makelabel{groupoids:Automorphisms of a groupoid with rays}{6.1.3}{X8278B93E7F78038C}
\makelabel{groupoids:Inner automorphisms}{6.1.5}{X7EC237ED7E1978B0}
\makelabel{groupoids:Matrix representations of groupoids}{6.2}{X8003AF117B956D16}
\makelabel{groupoids:Groupoid actions}{6.3}{X7DB8E7EF7A51F1BE}
\makelabel{groupoids:Graphs of Groups and Groupoids}{7}{X78063DC8847554B4}
\makelabel{groupoids:Digraphs}{7.1}{X7D554C5D7FDC3D02}
\makelabel{groupoids:Graphs of Groups}{7.2}{X7BAFCA3680E478AE}
\makelabel{groupoids:Words in a Graph of Groups and their normal forms}{7.3}{X7BD9DCF87FB3E0AF}
\makelabel{groupoids:Free products with amalgamation and HNN extensions}{7.4}{X7D99A7B37B36BAA8}
\makelabel{groupoids:GraphsOfGroupoids and their Words}{7.5}{X78108FB4814AE887}
\makelabel{groupoids:Double Groupoids}{8}{X83B7E8A287C9284A}
\makelabel{groupoids:Single piece double groupoids}{8.1}{X780DA94780938851}
\makelabel{groupoids:Horizontal and vertical groupoids in □(G)}{8.1.8}{X7B8DEF5A7B5AEC46}
\makelabel{groupoids:Double groupoids with more than one piece}{8.2}{X7F319AA17ED13024}
\makelabel{groupoids:Generators of a double groupoid}{8.3}{X78E24657817C4D30}
\makelabel{groupoids:What is the double groupoid generated by a set of squares?}{8.3.3}{X85A6C1A685357E66}
\makelabel{groupoids:Starting with two groupoids}{8.4}{X80E0318F78D2AD28}
\makelabel{groupoids:Double groupoid homomorphisms}{8.5}{X83F6AFC185148621}
\makelabel{groupoids:Technical Notes}{9}{X7F2BA6DC7AD84FBC}
\makelabel{groupoids:Many object structures}{9.1}{X7C5B725A7AED3C8D}
\makelabel{groupoids:Many object homomorphisms}{9.2}{X7A4760E887C9C968}
\makelabel{groupoids:Development History}{10}{X810C43BC7F63C4B4}
\makelabel{groupoids:Versions of the Package}{10.1}{X8192EA4C7B7CC5CD}
\makelabel{groupoids:What needs to be done next?}{10.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:MagmaWithSingleObject for semigroups}{2.2.1}{X8519787D833653A7}
\makelabel{groupoids:IsSemigroupWithObjects}{2.2.1}{X8519787D833653A7}
\makelabel{groupoids:MonoidWithObjects}{2.3.1}{X7A271B1A7F2FF245}
\makelabel{groupoids:SinglePieceMonoidWithObjects}{2.3.1}{X7A271B1A7F2FF245}
\makelabel{groupoids:IsMonoidWithObjects}{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:MagmaWithSingleObject for groups}{4.1.1}{X8406913B7ED86CFE}
\makelabel{groupoids:IsGroupoid}{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:PieceIsomorphisms}{4.1.5}{X855F318181808814}
\makelabel{groupoids:HomogeneousDiscreteGroupoid}{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 for groupoids}{4.1.6}{X78E8FE0C7F599F5A}
\makelabel{groupoids:Embedding for groupoids}{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:IsGroupoidElement}{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:IsFullSubgroupoid}{4.3.1}{X80780D287EDDB7BB}
\makelabel{groupoids:SubgroupoidByObjects}{4.3.2}{X8600FA7B8051C9AC}
\makelabel{groupoids:SubgroupoidBySubgroup}{4.3.2}{X8600FA7B8051C9AC}
\makelabel{groupoids:SubgroupoidWithRays}{4.3.3}{X873E0914871858E8}
\makelabel{groupoids:RaysOfGroupoid}{4.3.3}{X873E0914871858E8}
\makelabel{groupoids:RayArrowsOfGroupoid}{4.3.3}{X873E0914871858E8}
\makelabel{groupoids:SubgroupoidByPieces}{4.3.4}{X7AEA9BF780CD6957}
\makelabel{groupoids:PiecePositions}{4.3.5}{X78C7A83980BAE937}
\makelabel{groupoids:FullTrivialSubgroupoid}{4.3.6}{X7FE8F09A7C8CEC5B}
\makelabel{groupoids:DiscreteTrivialSubgroupoid}{4.3.6}{X7FE8F09A7C8CEC5B}
\makelabel{groupoids:trivial subgroupoid}{4.3.6}{X7FE8F09A7C8CEC5B}
\makelabel{groupoids:tree groupoid}{4.3.6}{X7FE8F09A7C8CEC5B}
\makelabel{groupoids:identity subgroupoid}{4.3.6}{X7FE8F09A7C8CEC5B}
\makelabel{groupoids:DiscreteSubgroupoid}{4.3.7}{X7ACFBE7D855A82A3}
\makelabel{groupoids:HomogeneousDiscreteSubgroupoid}{4.3.7}{X7ACFBE7D855A82A3}
\makelabel{groupoids:MaximalDiscreteSubgroupoid}{4.3.7}{X7ACFBE7D855A82A3}
\makelabel{groupoids:SinglePieceSubgroupoidByGenerators}{4.3.8}{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:IsGroupoidHomomorphism}{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:MappingToSinglePieceData for groupoids}{5.2.6}{X8391526C7A02FF19}
\makelabel{groupoids:ObjectGroupHomomorphism}{5.2.7}{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:RegularActionHomomorphismGroupoid}{5.3.5}{X7CF33CCD8278A904}
\makelabel{groupoids:IsomorphismPcGroupoid}{5.3.5}{X7CF33CCD8278A904}
\makelabel{groupoids:HomomorphismToSinglePiece for groupoids}{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}{6.1.1}{X79DA704A8051CB72}
\makelabel{groupoids:GroupoidAutomorphismByGroupAuto}{6.1.1}{X79DA704A8051CB72}
\makelabel{groupoids:GroupoidAutomorphismByNtuple}{6.1.1}{X79DA704A8051CB72}
\makelabel{groupoids:GroupoidAutomorphismByRayShifts}{6.1.1}{X79DA704A8051CB72}
\makelabel{groupoids:GroupoidInnerAutomorphism}{6.1.2}{X86BD61567B41B139}
\makelabel{groupoids:GroupoidInnerAutomorphismNormalSubgroupoid}{6.1.2}{X86BD61567B41B139}
\makelabel{groupoids:inner automorphism}{6.1.2}{X86BD61567B41B139}
\makelabel{groupoids:AutomorphismGroupOfGroupoid}{6.1.4}{X7DB9D5737EB8C260}
\makelabel{groupoids:NiceObjectAutoGroupGroupoid}{6.1.4}{X7DB9D5737EB8C260}
\makelabel{groupoids:AutomorphismGroup}{6.1.4}{X7DB9D5737EB8C260}
\makelabel{groupoids:inner automorphism group}{6.1.5}{X7EC237ED7E1978B0}
\makelabel{groupoids:GroupoidAutomorphismByGroupAutos}{6.1.6}{X80F9594481CA9FDE}
\makelabel{groupoids:AutomorphismGroupoidOfGroupoid}{6.1.7}{X7A93C6507BC697CD}
\makelabel{groupoids:matrix representation}{6.2}{X8003AF117B956D16}
\makelabel{groupoids:representation by matrices}{6.2}{X8003AF117B956D16}
\makelabel{groupoids:groupoid action}{6.3}{X7DB8E7EF7A51F1BE}
\makelabel{groupoids:conjugation identities}{6.3}{X7DB8E7EF7A51F1BE}
\makelabel{groupoids:GroupoidActionByConjugation}{6.3.1}{X7C4DCB287B3DD0CD}
\makelabel{groupoids:IsGroupoidAction}{6.3.1}{X7C4DCB287B3DD0CD}
\makelabel{groupoids:ActionMap}{6.3.1}{X7C4DCB287B3DD0CD}
\makelabel{groupoids:FpWeightedDigraph}{7.1.1}{X85BD6D2584D8A22F}
\makelabel{groupoids:IsFpWeightedDigraph}{7.1.1}{X85BD6D2584D8A22F}
\makelabel{groupoids:InvolutoryArcs}{7.1.1}{X85BD6D2584D8A22F}
\makelabel{groupoids:GraphOfGroups}{7.2.1}{X8130246E854BC5D9}
\makelabel{groupoids:DigraphOfGraphOfGroups}{7.2.1}{X8130246E854BC5D9}
\makelabel{groupoids:GroupsOfGraphOfGroups}{7.2.1}{X8130246E854BC5D9}
\makelabel{groupoids:IsomorphismsOfGraphOfGroups}{7.2.1}{X8130246E854BC5D9}
\makelabel{groupoids:IsGraphOfGroups}{7.2.1}{X8130246E854BC5D9}
\makelabel{groupoids:IsGraphOfFpGroups}{7.2.2}{X847464677F641527}
\makelabel{groupoids:IsGraphOfPcGroups}{7.2.2}{X847464677F641527}
\makelabel{groupoids:IsGraphOfPermGroups}{7.2.2}{X847464677F641527}
\makelabel{groupoids:RightTransversalsOfGraphOfGroups}{7.2.3}{X7B036C2B84E48BB1}
\makelabel{groupoids:LeftTransversalsOfGraphOfGroups}{7.2.3}{X7B036C2B84E48BB1}
\makelabel{groupoids:GraphOfGroupsWord}{7.3.1}{X87937AE47C5B1018}
\makelabel{groupoids:IsGraphOfGroupsWord}{7.3.1}{X87937AE47C5B1018}
\makelabel{groupoids:GraphOfGroupsOfWord}{7.3.1}{X87937AE47C5B1018}
\makelabel{groupoids:WordOfGraphOfGroupsWord}{7.3.1}{X87937AE47C5B1018}
\makelabel{groupoids:TailOfGraphOfGroupsWord}{7.3.1}{X87937AE47C5B1018}
\makelabel{groupoids:HeadOfGraphOfGroupsWord}{7.3.1}{X87937AE47C5B1018}
\makelabel{groupoids:ReducedGraphOfGroupsWord}{7.3.2}{X78FA7C3F831AA6E4}
\makelabel{groupoids:IsReducedGraphOfGroupsWord}{7.3.2}{X78FA7C3F831AA6E4}
\makelabel{groupoids:FreeProductWithAmalgamation}{7.4.1}{X795AB71F7E370119}
\makelabel{groupoids:FreeProductWithAmalgamationInfo}{7.4.1}{X795AB71F7E370119}
\makelabel{groupoids:IsFreeProductWithAmalgamation}{7.4.1}{X795AB71F7E370119}
\makelabel{groupoids:GraphOfGroupsRewritingSystem}{7.4.1}{X795AB71F7E370119}
\makelabel{groupoids:NormalFormGGRWS}{7.4.1}{X795AB71F7E370119}
\makelabel{groupoids:ReducedImageElm}{7.4.2}{X86F5F9787E3644FD}
\makelabel{groupoids:IsMappingToGroupWithGGRWS}{7.4.2}{X86F5F9787E3644FD}
\makelabel{groupoids:Embedding for fpa-groups}{7.4.2}{X86F5F9787E3644FD}
\makelabel{groupoids:HnnExtension}{7.4.3}{X7CB0F120804A8DED}
\makelabel{groupoids:HnnExtensionInfo}{7.4.3}{X7CB0F120804A8DED}
\makelabel{groupoids:IsHnnExtension}{7.4.3}{X7CB0F120804A8DED}
\makelabel{groupoids:GraphOfGroupoids}{7.5.1}{X8739267678808E85}
\makelabel{groupoids:IsGraphOfPermGroupoids}{7.5.1}{X8739267678808E85}
\makelabel{groupoids:IsGraphOfFpGroupoids}{7.5.1}{X8739267678808E85}
\makelabel{groupoids:GroupoidsOfGraphOfGroupoids}{7.5.1}{X8739267678808E85}
\makelabel{groupoids:DigraphOfGraphOfGroupoids}{7.5.1}{X8739267678808E85}
\makelabel{groupoids:SubgroupoidsOfGraphOfGroupoids}{7.5.1}{X8739267678808E85}
\makelabel{groupoids:IsomorphismsOfGraphOfGroupoids}{7.5.1}{X8739267678808E85}
\makelabel{groupoids:RightTransversalsOfGraphOfGroupoids}{7.5.1}{X8739267678808E85}
\makelabel{groupoids:LeftTransversalsOfGraphOfGroupoids}{7.5.1}{X8739267678808E85}
\makelabel{groupoids:IsGraphOfGroupoids}{7.5.1}{X8739267678808E85}
\makelabel{groupoids:GraphOfGroupoidsWord}{7.5.2}{X7EC1A9067FC91255}
\makelabel{groupoids:IsGraphOfGroupoidsWord}{7.5.2}{X7EC1A9067FC91255}
\makelabel{groupoids:GraphOfGroupoidsOfWord}{7.5.2}{X7EC1A9067FC91255}
\makelabel{groupoids:WordOfGraphOfGroupoidsWord}{7.5.2}{X7EC1A9067FC91255}
\makelabel{groupoids:ReducedGraphOfGroupoidsWord}{7.5.2}{X7EC1A9067FC91255}
\makelabel{groupoids:IsReducedGraphOfGroupoidsWord}{7.5.2}{X7EC1A9067FC91255}
\makelabel{groupoids:SinglePieceBasicDoubleGroupoid}{8.1.1}{X7F5D722C83CB9139}
\makelabel{groupoids:DoubleGroupoid}{8.1.1}{X7F5D722C83CB9139}
\makelabel{groupoids:IsDoubleGroupoid}{8.1.1}{X7F5D722C83CB9139}
\makelabel{groupoids:IsBasicDoubleGroupoid}{8.1.1}{X7F5D722C83CB9139}
\makelabel{groupoids:SquareOfArrows}{8.1.2}{X823A3A7481B90EB7}
\makelabel{groupoids:UpArrow}{8.1.2}{X823A3A7481B90EB7}
\makelabel{groupoids:LeftArrow}{8.1.2}{X823A3A7481B90EB7}
\makelabel{groupoids:RightArrow}{8.1.2}{X823A3A7481B90EB7}
\makelabel{groupoids:DownArrow}{8.1.2}{X823A3A7481B90EB7}
\makelabel{groupoids:BoundaryOfSquare}{8.1.2}{X823A3A7481B90EB7}
\makelabel{groupoids:DoubleGroupoidOfSquare}{8.1.2}{X823A3A7481B90EB7}
\makelabel{groupoids:IsDoubleGroupoidElement}{8.1.2}{X823A3A7481B90EB7}
\makelabel{groupoids:IsCommutingSquare}{8.1.3}{X83DF8EEE7BA72AA3}
\makelabel{groupoids:TransposedSquare}{8.1.4}{X7F99A468819D7759}
\makelabel{groupoids:IsClosedUnderTransposition}{8.1.4}{X7F99A468819D7759}
\makelabel{groupoids:HorizontalProduct}{8.1.5}{X7D3737FA7E9E3ECA}
\makelabel{groupoids:VerticalProduct}{8.1.6}{X873F01287A2DC41F}
\makelabel{groupoids:HorizontalIdentities}{8.1.7}{X79E6E4E97A23C257}
\makelabel{groupoids:VerticalIdentities}{8.1.7}{X79E6E4E97A23C257}
\makelabel{groupoids:HorizontalInverses}{8.1.7}{X79E6E4E97A23C257}
\makelabel{groupoids:VerticalInverses}{8.1.7}{X79E6E4E97A23C257}
\makelabel{groupoids:}{8.1.8}{X7B8DEF5A7B5AEC46}
\makelabel{groupoids:}{8.1.8}{X7B8DEF5A7B5AEC46}
\makelabel{groupoids:UnionOfPieces for double groupoids}{8.2.1}{X8589EFAE7935BEA6}
\makelabel{groupoids:Pieces for double groupoids}{8.2.1}{X8589EFAE7935BEA6}
\makelabel{groupoids:DoubleGroupoidWithTrivialGroup}{8.3.1}{X80009143808725D5}
\makelabel{groupoids:DoubleGroupoidWithSingleObject}{8.3.2}{X7D135AFB83995A32}
\makelabel{groupoids:DoubleGroupoidHomomorphism}{8.5.1}{X87752436787B199D}
\makelabel{groupoids:IsDoubleGroupoidHomomorphism}{8.5.1}{X87752436787B199D}