Index

[], for IsObjectInCategoryOfFiniteSets, IsBigInt 3.3-3
\in, for IsObject, IsObjectInCategoryOfFiniteSets 3.3-2
AsList, for IsMorphismInCategoryOfFiniteSets 3.1-3
    for IsMorphismInSkeletalCategoryOfFiniteSets 1.1-3
    for IsMorphismInSkeletalCategoryOfFiniteSetsWithCountingStartingAt1 2.1-3
    for IsObjectInCategoryOfFiniteSets 3.1-1
    for IsObjectInSkeletalCategoryOfFiniteSets 1.1-2
    for IsObjectInSkeletalCategoryOfFiniteSetsWithCountingStartingAt1 2.1-2
BoolToBigInt, for IsBool 1.3-6
CallFuncList, for IsMorphismInCategoryOfFiniteSets, IsDenseList 3.3-13
    for IsMorphismInSkeletalCategoryOfFiniteSets, IsList 1.3-5
Cardinality, for IsObjectInSkeletalCategoryOfFiniteSets 1.1-1
    for IsObjectInSkeletalCategoryOfFiniteSetsWithCountingStartingAt1 2.1-1
CategoryOfFiniteSets 3.2-1
DigitInPositionalNotation, for IsBigInt, IsBigInt, IsBigInt, IsBigInt 1.3-12
DivIntWithGivenQuotient, for IsBigInt, IsObject, IsBigInt 1.3-11
EmbeddingOfFinSets, for IsObjectInCategoryOfFiniteSets, IsObjectInCategoryOfFiniteSets 3.3-9
    for IsObjectInSkeletalCategoryOfFiniteSets, IsObjectInSkeletalCategoryOfFiniteSets 1.3-2
    for IsObjectInSkeletalCategoryOfFiniteSetsWithCountingStartingAt1, IsObjectInSkeletalCategoryOfFiniteSetsWithCountingStartingAt1 2.3-2
FilteredOp, for IsObjectInCategoryOfFiniteSets, IsFunction 3.3-7
FinSet, for IsBigInt 1.2-3
    for IsCategoryOfFiniteSets, IsDenseList 3.2-3
    for IsDenseList 3.2-4
    for IsSkeletalCategoryOfFiniteSets, IsBigInt 1.2-4
    for IsSkeletalCategoryOfFiniteSetsWithCountingStartingAt1, IsBigInt 2.2-4
FinSet1, for IsBigInt 2.2-3
FinSetNC, for IsCategoryOfFiniteSets, IsDenseList 3.2-5
    for IsDenseList 3.2-6
FinSets 3.2-2
First, for IsObjectInCategoryOfFiniteSets, IsFunction 3.3-8
GeometricSum, for IsRingElement, IsBigInt 1.3-7
GeometricSumDiff1, for IsRingElement, IsBigInt 1.3-8
ImageObject, for IsMorphismInCategoryOfFiniteSets, IsObjectInCategoryOfFiniteSets 3.3-12
    for IsMorphismInSkeletalCategoryOfFiniteSets, IsObjectInSkeletalCategoryOfFiniteSets 1.3-4
    for IsMorphismInSkeletalCategoryOfFiniteSetsWithCountingStartingAt1, IsObjectInSkeletalCategoryOfFiniteSetsWithCountingStartingAt1 2.3-4
IsCategoryOfFiniteSets, for IsCapCategory 3.4-1
IsEqualForElementsOfFinSets, for IsObject, IsObject 3.3-1
IsMorphismInCategoryOfFiniteSets, for IsCapCategoryMorphism 3.4-3
IsMorphismInSkeletalCategoryOfFiniteSets, for IsCapCategoryMorphism 1.4-3
IsMorphismInSkeletalCategoryOfFiniteSetsWithCountingStartingAt1, for IsCapCategoryMorphism 2.4-3
IsObjectInCategoryOfFiniteSets, for IsCapCategoryObject 3.4-2
IsObjectInSkeletalCategoryOfFiniteSets, for IsCapCategoryObject 1.4-2
IsObjectInSkeletalCategoryOfFiniteSetsWithCountingStartingAt1, for IsCapCategoryObject 2.4-2
IsSkeletalCategoryOfFiniteSets, for IsCapCategory 1.4-1
IsSkeletalCategoryOfFiniteSetsWithCountingStartingAt1, for IsCapCategory 2.4-1
Iterator, for IsObjectInCategoryOfFiniteSets 3.3-4
Length, for IsObjectInCategoryOfFiniteSets 3.1-2
ListOp, for IsObjectInCategoryOfFiniteSets, IsFunction 3.3-6
    for IsObjectInCategoryOfFiniteSets, IsMorphismInCategoryOfFiniteSets 3.3-14
    for IsObjectInSkeletalCategoryOfFiniteSets, IsFunction 1.3-1
    for IsObjectInSkeletalCategoryOfFiniteSetsWithCountingStartingAt1, IsFunction 2.3-1
MapOfFinSets, for IsObjectInCategoryOfFiniteSets, IsDenseList, IsObjectInCategoryOfFiniteSets 3.2-7
    for IsObjectInSkeletalCategoryOfFiniteSets, IsList, IsObjectInSkeletalCategoryOfFiniteSets 1.2-5
    for IsObjectInSkeletalCategoryOfFiniteSetsWithCountingStartingAt1, IsList, IsObjectInSkeletalCategoryOfFiniteSetsWithCountingStartingAt1 2.2-5
MapOfFinSetsNC, for IsObjectInCategoryOfFiniteSets, IsDenseList, IsObjectInCategoryOfFiniteSets 3.2-8
Preimage, for IsMorphismInCategoryOfFiniteSets, IsObjectInCategoryOfFiniteSets 3.3-11
    for IsMorphismInSkeletalCategoryOfFiniteSets, IsList 1.3-3
    for IsMorphismInSkeletalCategoryOfFiniteSetsWithCountingStartingAt1, IsList 2.3-3
ProjectionOfFinSets, for IsObjectInCategoryOfFiniteSets, IsObjectInCategoryOfFiniteSets 3.3-10
QuoIntWithDomain, for IsBigInt, IsObject, IsBigInt 1.3-10
RemIntWithDomain, for IsBigInt, IsObject, IsBigInt 1.3-9
SkeletalCategoryOfFiniteSets 1.2-1
SkeletalCategoryOfFiniteSetsWithCountingStartingAt1, for IsSkeletalCategoryOfFiniteSets 2.2-1
SkeletalFinSets 1.2-2
SkeletalFinSets1 2.2-2
UnionOfFinSets, for IsCategoryOfFiniteSets, IsDenseList 3.3-5