Skip to content

[Merged by Bors] - refactor(LinearAlgebra/QuadraticForm/Basic) : Generalise QuadraticForm to QuadraticMap#7569

Closed
mans0954 wants to merge 141 commits intomasterfrom mans0954/quadratic-maps

Commits

Commits on Oct 27, 2023

Commits on Oct 29, 2023

Commits on Jan 24, 2024

Commits on Jul 13, 2024