Improve category for finite rank free modules and provide list functionality for basis #20770
Description
Finite rank free modules should know that they are finite dimensional free modules. We also add functionality for (dual) bases of finite rank free modules to list their basis elements.
CC: @egourgoulhon
Component: geometry
Keywords: days74
Author: Travis Scrimshaw
Branch/Commit: e8b6105
Reviewer: Eric Gourgoulhon
Issue created by migration from https://trac.sagemath.org/ticket/20770