Commit 2025-11-10 10:22 68244d66

feat(LinearAlgebra/Transvection): transvections in a module (#31164) Definition of a transvection in a module, a linear map of the form $$ x \mapsto x+f(x) v$$. When $$f(v)=0$$, this is a linear equivalence.