[MathJax off]
ExtendFunctorToLinearClosureOfSource
IsLinearClosureOfACategory
generated by GAPDoc2HTML