ExtPowerDualFreeModule
ExtPowerFreeModule
AlternatingContrTensor
FreeModuleAltForm
Index notation for tensors
Exterior powers of free modules