Classes FiniteFreeModule and FreeModuleBasis inherit from UniqueRepresentation