Commit 2023-08-09 07:07 2d11c668
View on Github →chore(LinearAlgebra/QuadraticForm): scalar tower instances and cleanup (#6433)
This is needed to state that the base change of a quadratic form is itself a linear operation.
Also adds a linear version of BilinForm.toQuadraticForm
, and cleans up some docstrings that had been mangled by fix-comments.py