2024-02-20 14:35
Counterexamples/CliffordAlgebra_not_injective.lean
feat(Counterexamples/CliffordAlgebra_not_injective): Some quadratic forms cannot be constructed from bilinear forms (#9670) …
Added QuadraticForm.not_forall_mem_range_toQuadraticForm.{v}