FreeModuleHomset
FiniteRankFreeModuleMorphism
FreeModuleLinearGroup
FreeModuleAutomorphism
Alternating forms on free modules
Sets of morphisms between free modules