Index

ExtendFunctorToLinearClosureOfSource, for IsCapFunctor, IsLinearClosure 1.2-2
    for IsCapFunctor, IsLinearClosure, IsFunction 1.2-1
IsLinearClosureOfACategory, for IsCapCategory 1.1-1