\indexentry{ConnectedGroupoid@\texttt  {ConnectedGroupoid}|hyperpage}{7}
\indexentry{GroupAsGroupoid@\texttt  {GroupAsGroupoid}|hyperpage}{7}
\indexentry{GroupoidByUnion@\texttt  {GroupoidByUnion}|hyperpage}{7}
\indexentry{Groupoid@\texttt  {Groupoid}|hyperpage}{7}
\indexentry{ComponentsOfGroupoid@\texttt  {ComponentsOfGroupoid}|hyperpage}{8}
\indexentry{ObjectsOfGroupoid@\texttt  {ObjectsOfGroupoid}|hyperpage}{8}
\indexentry{IsPermGroupoid@\texttt  {IsPermGroupoid}|hyperpage}{8}
\indexentry{IsPcGroupoid@\texttt  {IsPcGroupoid}|hyperpage}{8}
\indexentry{IsFpGroupoid@\texttt  {IsFpGroupoid}|hyperpage}{8}
\indexentry{GroupoidElement@\texttt  {GroupoidElement}|hyperpage}{9}
\indexentry{IsElementOfGroupoid@\texttt  {IsElementOfGroupoid}|hyperpage}{9}
\indexentry{GroupElement@\texttt  {GroupElement}|hyperpage}{9}
\indexentry{Tail@\texttt  {Tail}|hyperpage}{9}
\indexentry{Head@\texttt  {Head}|hyperpage}{9}
\indexentry{Size@\texttt  {Size}|hyperpage}{9}
\indexentry{*,\texttt{\symbol{92}}\texttt{\symbol{94}}\texttt{\symbol{123}}\texttt{\symbol{125}} for groupoid elements|hyperpage}{9}
\indexentry{IsConnectedGroupoid@\texttt  {IsConnectedGroupoid}|hyperpage}{10}
\indexentry{IsDiscreteGroupoid@\texttt  {IsDiscreteGroupoid}|hyperpage}{10}
\indexentry{SubgroupoidByComponents@\texttt  {SubgroupoidByComponents}|hyperpage}{10}
\indexentry{Subgroupoid@\texttt  {Subgroupoid}|hyperpage}{10}
\indexentry{FullSubgroupoid@\texttt  {FullSubgroupoid}|hyperpage}{10}
\indexentry{MaximalDiscreteSubgroupoid@\texttt  {MaximalDiscreteSubgroupoid}|hyperpage}{10}
\indexentry{DiscreteSubgroupoid@\texttt  {DiscreteSubgroupoid}|hyperpage}{10}
\indexentry{FullIdentitySubgroupoid@\texttt  {FullIdentitySubgroupoid}|hyperpage}{10}
\indexentry{DiscreteIdentitySubgroupoid@\texttt  {DiscreteIdentitySubgroupoid}|hyperpage}{10}
\indexentry{ObjectStar@\texttt  {ObjectStar}|hyperpage}{11}
\indexentry{ObjectCostar@\texttt  {ObjectCostar}|hyperpage}{11}
\indexentry{Homset@\texttt  {Homset}|hyperpage}{11}
\indexentry{IdentityElement@\texttt  {IdentityElement}|hyperpage}{12}
\indexentry{RightCoset@\texttt  {RightCoset}|hyperpage}{12}
\indexentry{RightCosetRepresentatives@\texttt  {RightCosetRepresentatives}|hyperpage}{12}
\indexentry{RightCosetsNC@\texttt  {RightCosetsNC}|hyperpage}{12}
\indexentry{LeftCoset@\texttt  {LeftCoset}|hyperpage}{12}
\indexentry{LeftCosetRepresentatives@\texttt  {LeftCosetRepresentatives}|hyperpage}{12}
\indexentry{LeftCosetRepresentativesFromObject@\texttt  {LeftCosetRepresentativesFromObject}|hyperpage}{12}
\indexentry{LeftCosetsNC@\texttt  {LeftCosetsNC}|hyperpage}{12}
\indexentry{DoubleCoset@\texttt  {DoubleCoset}|hyperpage}{12}
\indexentry{DoubleCosetRepresentatives@\texttt  {DoubleCosetRepresentatives}|hyperpage}{13}
\indexentry{DoubleCosetsNC@\texttt  {DoubleCosetsNC}|hyperpage}{13}
\indexentry{MorphismOfConnectedGroupoids@\texttt  {MorphismOfConnectedGroupoids}|hyperpage}{14}
\indexentry{Source@\texttt  {Source}|hyperpage}{14}
\indexentry{Range@\texttt  {Range}|hyperpage}{14}
\indexentry{ComponentImages@\texttt  {ComponentImages}|hyperpage}{14}
\indexentry{MorphismToConnectedGroupoid@\texttt  {MorphismToConnectedGroupoid}|hyperpage}{15}
\indexentry{GroupoidMorphismWithCommonRange@\texttt  {GroupoidMorphismWithCommonRange}|hyperpage}{15}
\indexentry{GroupoidMorphism@\texttt  {GroupoidMorphism}|hyperpage}{15}
\indexentry{IsomorphismNewObjects@\texttt  {IsomorphismNewObjects}|hyperpage}{16}
\indexentry{IdentityMapping@\texttt  {IdentityMapping}|hyperpage}{16}
\indexentry{InclusionMappingGroupoids@\texttt  {InclusionMappingGroupoids}|hyperpage}{16}
\indexentry{RestrictionMappingGroupoids@\texttt  {RestrictionMappingGroupoids}|hyperpage}{16}
\indexentry{GroupoidMorphismByComponents@\texttt  {GroupoidMorphismByComponents}|hyperpage}{17}
\indexentry{GroupoidMorphismByUnion@\texttt  {GroupoidMorphismByUnion}|hyperpage}{17}
\indexentry{IsGroupoidMorphism@\texttt  {IsGroupoidMorphism}|hyperpage}{18}
\indexentry{IsInjectiveOnObjects@\texttt  {IsInjectiveOnObjects}|hyperpage}{18}
\indexentry{IsSurjectiveOnObjects@\texttt  {IsSurjectiveOnObjects}|hyperpage}{18}
\indexentry{IsBijectiveOnObjects@\texttt  {IsBijectiveOnObjects}|hyperpage}{18}
\indexentry{IsGroupoidAutomorphism@\texttt  {IsGroupoidAutomorphism}|hyperpage}{18}
\indexentry{ImagesOfObjects@\texttt  {ImagesOfObjects}|hyperpage}{18}
\indexentry{ImagesSource@\texttt  {ImagesSource}|hyperpage}{18}
\indexentry{ImageElm@\texttt  {ImageElm}|hyperpage}{18}
\indexentry{Product@\texttt  {Product}|hyperpage}{19}
\indexentry{*,\texttt{\symbol{92}}\texttt{\symbol{94}}\texttt{\symbol{123}}\texttt{\symbol{125}} for groupoid morphisms|hyperpage}{19}
\indexentry{InverseMorphism@\texttt  {InverseMorphism}|hyperpage}{19}
\indexentry{Order@\texttt  {Order}|hyperpage}{19}
\indexentry{FpWeightedDigraph@\texttt  {FpWeightedDigraph}|hyperpage}{20}
\indexentry{IsFpWeightedDigraph@\texttt  {IsFpWeightedDigraph}|hyperpage}{20}
\indexentry{InvolutoryArcs@\texttt  {InvolutoryArcs}|hyperpage}{20}
\indexentry{GraphOfGroups@\texttt  {GraphOfGroups}|hyperpage}{21}
\indexentry{DigraphOfGraphOfGroups@\texttt  {DigraphOfGraphOfGroups}|hyperpage}{21}
\indexentry{GroupsOfGraphOfGroups@\texttt  {GroupsOfGraphOfGroups}|hyperpage}{21}
\indexentry{SubgroupsOfGraphOfGroups@\texttt  {SubgroupsOfGraphOfGroups}|hyperpage}{21}
\indexentry{IsomorphismsOfGraphOfGroups@\texttt  {IsomorphismsOfGraphOfGroups}|hyperpage}{21}
\indexentry{IsGraphOfFpGroups@\texttt  {IsGraphOfFpGroups}|hyperpage}{22}
\indexentry{IsGraphOfPcGroups@\texttt  {IsGraphOfPcGroups}|hyperpage}{22}
\indexentry{IsGraphOfPermGroups@\texttt  {IsGraphOfPermGroups}|hyperpage}{22}
\indexentry{RightTransversalsOfGraphOfGroups@\texttt  {RightTransversalsOfGraphOfGroups}|hyperpage}{23}
\indexentry{LeftTransversalsOfGraphOfGroups@\texttt  {LeftTransversalsOfGraphOfGroups}|hyperpage}{23}
\indexentry{GraphOfGroupsWord@\texttt  {GraphOfGroupsWord}|hyperpage}{23}
\indexentry{IsGraphOfGroupsWord@\texttt  {IsGraphOfGroupsWord}|hyperpage}{23}
\indexentry{GraphOfGroupsOfWord@\texttt  {GraphOfGroupsOfWord}|hyperpage}{23}
\indexentry{WordOfGraphOfGroupsWord@\texttt  {WordOfGraphOfGroupsWord}|hyperpage}{23}
\indexentry{ReducedGraphOfGroupsWord@\texttt  {ReducedGraphOfGroupsWord}|hyperpage}{24}
\indexentry{IsReducedGraphOfGroupsWord@\texttt  {IsReducedGraphOfGroupsWord}|hyperpage}{24}
\indexentry{FreeProductWithAmalgamation@\texttt  {FreeProductWithAmalgamation}|hyperpage}{24}
\indexentry{IsFpaGroup@\texttt  {IsFpaGroup}|hyperpage}{24}
\indexentry{GraphOfGroupsRewritingSystem@\texttt  {GraphOfGroupsRewritingSystem}|hyperpage}{24}
\indexentry{NormalFormGGRWS@\texttt  {NormalFormGGRWS}|hyperpage}{24}
\indexentry{HnnExtension@\texttt  {HnnExtension}|hyperpage}{26}
\indexentry{IsHnnGroup@\texttt  {IsHnnGroup}|hyperpage}{26}
\indexentry{GraphOfGroupoids@\texttt  {GraphOfGroupoids}|hyperpage}{27}
\indexentry{IsGraphOfPermGroupoids@\texttt  {IsGraphOfPermGroupoids}|hyperpage}{27}
\indexentry{IsGraphOfFpGroupoids@\texttt  {IsGraphOfFpGroupoids}|hyperpage}{27}
\indexentry{GroupoidsOfGraphOfGroupoids@\texttt  {GroupoidsOfGraphOfGroupoids}|hyperpage}{27}
\indexentry{DigraphOfGraphOfGroupoids@\texttt  {DigraphOfGraphOfGroupoids}|hyperpage}{27}
\indexentry{SubgroupoidsOfGraphOfGroupoids@\texttt  {SubgroupoidsOfGraphOfGroupoids}|hyperpage}{27}
\indexentry{IsomorphismsOfGraphOfGroupoids@\texttt  {IsomorphismsOfGraphOfGroupoids}|hyperpage}{27}
\indexentry{RightTransversalsOfGraphOfGroupoids@\texttt  {RightTransversalsOfGraphOfGroupoids}|hyperpage}{27}
\indexentry{LefvtTransversalsOfGraphOfGroupoids@\texttt  {LefvtTransversalsOfGraphOfGroupoids}|hyperpage}{27}
\indexentry{GraphOfGroupoidsWord@\texttt  {GraphOfGroupoidsWord}|hyperpage}{28}
\indexentry{IsGraphOfGroupoidsWord@\texttt  {IsGraphOfGroupoidsWord}|hyperpage}{28}
\indexentry{GraphOfGroupoidsOfWord@\texttt  {GraphOfGroupoidsOfWord}|hyperpage}{28}
\indexentry{WordOfGraphOfGroupoidsWord@\texttt  {WordOfGraphOfGroupoidsWord}|hyperpage}{28}
\indexentry{ReducedGraphOfGroupoidsWord@\texttt  {ReducedGraphOfGroupoidsWord}|hyperpage}{28}
\indexentry{IsReducedGraphOfGroupoidsWord@\texttt  {IsReducedGraphOfGroupoidsWord}|hyperpage}{28}
