Put tensor modules of FiniteRankFreeModule in Modules().TensorProducts() #34448
Description
... and add the method tensor_factors (#34393)
also add construction functors for tensor modules, extending #30235.
Depends on #34424
Depends on #34393
Depends on #31276
Depends on #30235
Depends on #30229
Depends on #30241
Depends on #34501
CC: @tscrim @egourgoulhon @fchapoton
Component: categories
Author: Matthias Koeppe
Branch/Commit: e10f9cf
Reviewer: Eric Gourgoulhon
Issue created by migration from https://trac.sagemath.org/ticket/34448