Index

AsList, for IsSkeletalFinGSet 2.2-1
EndAsEqualizer 4.1-1
EndByLifts 4.1-2
FinGSet, for IsGroup, IsList 2.3-1
ForgetfulFunctorSkeletalFinGSets, for IsGroup 4.1-5
HomSkeletalFinGSets 4.1-4
IsSkeletalFinGSet, for IsCapCategoryObject 2.1-2
IsSkeletalFinGSetCategory, for IsCapCategory and IsSkeletalCategory 2.1-1
IsSkeletalFinGSetMap, for IsCapCategoryMorphism 2.1-3
MapOfFinGSets, for IsSkeletalFinGSet, IsList, IsSkeletalFinGSet 2.3-2
PositionAndConjugatorOfStabilizer 3.1-1
ReconstructGroup 4.1-6
ReconstructTableOfMarks 4.1-3
SkeletalFinGSets, for IsGroup 2.3-3
UnderlyingGroup, for IsSkeletalFinGSet 2.2-2