Construction for FiniteRankDualFreeModule

[mkoeppe]

... using DualFunctor.

Depends on #34448

CC: @egourgoulhon @tscrim

Component: linear algebra

Branch/Commit: u/mkoeppe/construction_for_finiterankdualfreemodule @ cba3a87

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

[mkoeppe]

Dependencies: #34448

[mkoeppe]

Branch: u/mkoeppe/construction_for_finiterankdualfreemodule

[mkoeppe]

Commit: cba3a87

[mkoeppe]

comment:3

Pushout does not work yet; I think DualFunctor will have to be promoted from Functor to ConstructionFunctor for this

---

Last 10 new commits:

06710c1	src/sage/manifolds/differentiable/diff_form_module.py, vectorfield_module.py: Update copyright using 'git blame -w --date=format:%Y FILE.py | sort -k2', add to AUTHORS
bb614c1	Merge #34501
4a4a29d	Merge tag '9.7' into t/34448/put_tensor_modules_of_finiterankfreemodule_in_modules___tensorproducts__
1f4fb90	Merge tag '9.8.beta0' into t/34448/put_tensor_modules_of_finiterankfreemodule_in_modules___tensorproducts__
7c04959	src/sage/manifolds/differentiable/diff_form_module.py: Fix typo in docstring
fc31cbf	Merge #34501
f0def92	src/sage/tensor/modules/tensor_free_module.py: Remove redundant method
e10f9cf	src/sage/manifolds/differentiable/vectorfield_module.py: Revert change to VectorFieldModule.tensor (not needed yet)
f947c18	Merge #34448
cba3a87	FiniteRankDualFreeModule.construction: WIP