Quotient modules of TensorFreeModule, TensorFreeSubmodule

[mkoeppe]

We define a method FiniteRankFreeModule_abstract.quotient_module, which constructs a TensorFreeQuotientModule

(#34484 will also provide an alias quotient.)

Depends on #30229

CC: @egourgoulhon @tscrim

Component: linear algebra

Issue created by migration from https://trac.sagemath.org/ticket/34483

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1 +1,4 @@
+We define a method `FiniteRankFreeModule_abstract.quotient_module`, which constructs a `TensorFreeQuotientModule`
 
+(#34484 will also provide an alias `quotient`.)
+