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

Estimated changes