Commit 2024-02-20 14:35 b82dd45e

feat(Counterexamples/CliffordAlgebra_not_injective): Some quadratic forms cannot be constructed from bilinear forms (#9670) Turns out that this follows trivially from the previous counterexample. Perhaps there's a slicker proof that doesn't go via Clifford algebras at all, but it seemed worth recording this one anyway.