Documentation

Mathlib.LinearAlgebra.Transvection