sage

cb586d2e - Make homsets of FiniteDimensionalModulesWithBasis finite-dimensional modules with basis