AsList, for IsObjectInSkeletalCategoryOfFiniteRightGSets 2.1-1 CardinalitiesOfObjects, for IsCoequalizerCompletionOfGroupAsCategory 3.1-5 Cardinality, for IsObjectInSkeletalCategoryOfTransitiveLeftGSets 3.1-17 CoequalizerAutomorphisms, for IsObjectInSkeletalCategoryOfTransitiveLeftGSets 3.1-19 CoequalizerCompletion, for IsGroupAsCategory 3.2-1 EmbeddingOfUnderlyingGroupAsCategory, for IsSkeletalCategoryOfTransitiveLeftGSets 3.1-20 EndAsEqualizer 5.1-1 EndByLifts 5.1-2 ExtendFunctorToSkeletalCategoryOfTransitiveLeftGSets, for IsCapFunctor 3.1-21 FinRightGSet, for IsGroup, IsList 2.2-1 ForgetfulFunctorSkeletalCategoryOfFiniteRightGSets, for IsGroup 5.1-5 HomSkeletalFinRightGSets 5.1-4 IsCoequalizerCompletionOfGroupAsCategory, for IsCapCategory and IsSkeletalCategory 3.3-1 IsMorphismInCoequalizerCompletionOfGroupAsCategory, for FilterIntersection( IsCapCategoryMorphism 3.3-3 IsMorphismInSkeletalCategoryOfFiniteRightGSets, for IsCapCategoryMorphism 2.3-3 IsMorphismInSkeletalCategoryOfTransitiveLeftGSets, for FilterIntersection( IsCapCategoryMorphism 3.3-6 IsObjectInCoequalizerCompletionOfGroupAsCategory, for IsCapCategoryObject 3.3-2 IsObjectInSkeletalCategoryOfFiniteRightGSets, for IsCapCategoryObject 2.3-2 IsObjectInSkeletalCategoryOfTransitiveLeftGSets, for IsCapCategoryObject 3.3-5 IsSkeletalCategoryOfFiniteRightGSets, for IsCapCategory and IsSkeletalCategory 2.3-1 IsSkeletalCategoryOfTransitiveLeftGSets, for IsCapCategory and IsSkeletalCategory 3.3-4 MapOfFinGSets, for IsObjectInSkeletalCategoryOfFiniteRightGSets, IsList, IsObjectInSkeletalCategoryOfFiniteRightGSets 2.2-2 NumberOfObjects, for IsCoequalizerCompletionOfGroupAsCategory 3.1-4 ObjectNumber, for IsObjectInCoequalizerCompletionOfGroupAsCategory 3.1-7 PositionAndConjugatorOfStabilizer 4.1-1 ReconstructGroup 5.1-6 ReconstructTableOfMarks 5.1-3 RepresentativesOfSubgroupsUpToConjugation, for IsCoequalizerCompletionOfGroupAsCategory 3.1-6 Size, for IsObjectInSkeletalCategoryOfTransitiveLeftGSets 3.1-18 SkeletalCategoryOfFiniteRightGSets, for IsGroup 2.2-3 SkeletalCategoryOfTransitiveLeftGSets, for IsGroupAsCategory 3.2-2 UnderlyingGroup, for IsCoequalizerCompletionOfGroupAsCategory 3.1-1 UnderlyingGroupAsCategory, for IsCoequalizerCompletionOfGroupAsCategory 3.1-2 UnderlyingGroupElement, for IsMorphismInSkeletalCategoryOfTransitiveLeftGSets 3.1-16 UnderlyingIsomorphism, for IsMorphismInCoequalizerCompletionOfGroupAsCategory 3.1-8 UnderlyingTableOfMarks, for IsCoequalizerCompletionOfGroupAsCategory 3.1-3
generated by GAPDoc2HTML